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