関数型言語が活用できていない。 今のところ、関数型言語の出番はないんだけど、切り札はたくさん持っていた方が、いざというときに困らない。 プログラム言語の選択肢の一つとして、関数型言語の使いどころについては理解しておきたい。 関数型言語の本質って、そもそも何なんだろう? eugenio moggi | Tumblr TuringとChurchとMoggiの狭間で チューリング: コンピュータの基礎を考えたよ.どんなプログラムもチューリングマシンで実行できるよ. チャーチ: 書き換え?逐次処理?そんな方法だと数学的にナンセンスだよ.それよりラムダ式を使おうよ.プログラムは函数だよ. モッジ: プログラムを函数だと思うと,ダイナミックな入出力を考えた時に組合せ爆発するよ.プログラムはクライスリ圏の射だよ. おおざっぱには、(非関数型言語でも使われている)「メソッドチェーン」と似たようなもんかな?