cross2013fのツイートまとめ

おしいれのぼうけん @osiire

線形検索と二分検索の結果は同じはず。#cross2013f

おしいれのぼうけん @osiire

豊かな型。代数的データ型。#cross2013f

おしいれのぼうけん @osiire

関数プログラミングによる木の操作。ノードのポインタを操作するのではなく、辿ったノードを新たに作り出す。#cross2013f

俺のミームを受けてみろ @T_Hash

DBセッション終わって関数プログラミング会場に移ってきたら, 詳細なメモついーとが残っておりとても助かる #CROSS2013f

山口陽平 @melleo1978

#cross2013f 代数データ型があるとコンパイラ作りやすい。

おしいれのぼうけん @osiire

wiki記法からHTMLを出力する。関数プログラミングでは代数的データ型でデータを表現して、パース・変換・プリントする。#cross2013f

おしいれのぼうけん @osiire

質問受け付けます！ #cross2013f

日比野 啓 (Kei Hibino) @khibino

初めて直和型を見たときには何故それを導入するのかを納得するのに時間がかかった #cross2013f

山口陽平 @melleo1978

#cross2013f 関数型言語には小さくて強力な高階関数があるから便利。合成するのに余分な記述が少ない言語だから便利さが際立つ。

俺のミームを受けてみろ @T_Hash

おおー綺麗になった #CROSS2013f

俺のミームを受けてみろ @T_Hash

フラグ脳でやると条件分岐の泥沼にアレするような案件がかっこよく解決できそうな気がしてくる #CROSS2013f

山口陽平 @melleo1978

#cross2013f 代数データ型を使って無効な状態を記述できないようにするとバグが減る。

山口陽平 @melleo1978

#cross2013f 関数プログラミングでモナドとかよく聞くんですが、教えてください。

キクチ @JunKikuchi

関数プログラミングなのでF会場ということか #cross2013f

葉っぱアイコンの人 @chokofun

ぼけて読めない #CROSS2013f

しぶき @sibukixxx

プログラミングの基礎持ってるのに積ん読してる。。。 #cross2013f

俺のミームを受けてみろ @T_Hash

＿人人人 人人人＿ ＞ 突然のLisp ＜ ￣Y^Y^Y^Y^Y^Y￣ #CROSS2013f

Iizuka Masashi @uochan

出ないと思ってたlispの話きたわ #cross2013f

takesako @takesako

関数型言語のプログラミングを初めて学ぶには、浅井健一著 プログラミングの基礎 (Computer Science Library) が良い本らしい。OCamlベース http://t.co/OVkqtcBn #cross2013f

日比野 啓 (Kei Hibino) @khibino

12月に京都でやった、 International Lisp Conference 2012 ではモナドのディクショナリを明示的に渡すプログラミングスタイルを紹介する発表があった。 でも型があって推論してくれが方が明示的に渡す必要が無くて楽 #cross2013f

俺のミームを受けてみろ @T_Hash

「Lispにあるのは果てしない自由です. そこにある構文木に対してなんでもできる. その自由を使いこなす力のある人には良いでしょう」 #CROSS2013f

ada @adacola

Ocamlの実践的なサンプルコードとしてはCamlImagesのソースがいい。#cross2013f

俺のミームを受けてみろ @T_Hash

Q: 読むと良いコードは? 1) OCaml標準lib. 古いけど小さくて読みやすい. 2) 実践的な例ならCamlImages http://t.co/j07SCryW いい設計で素直なコード. 3) RSpecインスパイアドなHaskellのHSpec #CROSS2013f

lef/HAYASHI, Tatsuya @lef

嗜みとしての関数プログラミング！ #cross2013f