函数型なんたらの集い 2014 in Tokyo #関数型なんたら

富士州@試され @fujisyu

【ニコ生タイムシフト視聴中(2014/10/25 11:30放送)】函数型なんたらの集い 2014 in Tokyo #nicoch99991 #関数型なんたら nico.ms/lv196879029 いきなり「米田の補題」の話だったのか

TATSUNO Yasuhiro @exoego

名古屋でのJava勉強会、けっこう需要あることがわかった。#関数型なんたら 参加者調べ。

κeen @blackenedgold

メモリが気になるならマクロの遅延展開で実行時に枝伸ばしていけば問題ないですね #関数型なんたら

NaOHaq(苛性ソーダ) @NaOHaq

#関数型なんたら タグをレトロスペクティブにたどってたけど明らかにパターンマッチのところでツイート数が激増してるwww

NaOHaq(苛性ソーダ) @NaOHaq

文字列のパターンマッチだと、正規表現が使える場面で「ブラケットマッチングもできるようにしたい」(正規文法じゃなくなるので普通はできない)って言った場合、たぶん十中八九「それは正規表現にやらせることじゃない」「パーサコンビネータ使え」っていう反応になると思うの #関数型なんたら

NaOHaq(苛性ソーダ) @NaOHaq

それが「パターンマッチでポーカーの役を判定できるようにしたい」っていう話になるとここまで意見が分かれるのはなんでだろう #関数型なんたら

ちゅーん @its_out_of_tune

ツイート追加したり時間順になおしたりしました。「函数型なんたらの集い 2014 in Tokyo #関数型なんたら」 togetter.com/li/736628

もっちぃ @tanimocchi

. @NaOHaq ポーカーの役の場合わけを記述するのに、どの程度の表現能力が必要かを明らかとしてないから。実はきちんとした議論にはなってなかったんよ。でも、楽しかったからおk(笑) #関数型なんたら

ねの @neno_n0

パターンマッチ論争、対象の問題が割と面白そうだったし、パターンマッチにこだわらずにコード起こしてみたいですね #関数型なんたら

こはま @c0hama

帰宅。とても面白かったです。ただ、内容は多分3割くらいしか理解してない… #関数型なんたら

眼力 玉壱號 @objectxplosive

.@k_matsuzaki @blackenedgold j.mp/1rAnjMe とか j.mp/1rAnjMf スかね #関数型なんたら

TATSUNO Yasuhiro @exoego

ぼくもですが、markdownなどをスライドとしてブラウザに表示するツール使ってると思われる発表が多かった。「全体的にフォントが小さかった」という感想があったことの一因かな。自分はCSSいじって、フォント大きくした。 #関数型なんたら

はなだ☆のぶかず@lisp &ボドゲ勢ボドゲプレイヤー) @nobkz

Technical Rockstarsでは、関数型言語（特にHaskell, OCaml, Lisp）を業務で使いたい皆さまを積極的に採用します。 #関数型なんたら

NaOHaq(苛性ソーダ) @NaOHaq

picrinの発表でもう一つツッコミ入れたかったのが、「発表タイトルの C6H6+HNO3 だと出来上がる化合物はニトロベンゼンであってピクリン酸ではないのでは？」ということであった() #関数型なんたら

κeen @blackenedgold

一応benzとnitroについての発表って意味だった #関数型なんたら

κeen @blackenedgold

#関数型なんたら で喋ってきた | κeenのHappy Hacκing Blog keens.github.io/blog/2014/10/2…

日比野 啓 (Kei Hibino) @khibino

型付け勢のパターンマッチの話を納得していない勢は定理証明機、 Curry Howard isomorphism、catamorphism あたりを勉強するときっといいことある #関数型なんたら