そもそも「関数型言語」という言葉自体、どうなんやいうのもあるんですけど http://www.slideshare.net/ksknac/120901fp-keyとある純粋関数型言語の特徴でもって「関数型言語ではー」とか言われると、非純粋関数型言語のユーザーとしては（いやお仕事では純…

表題の様なことがちょっと気になったので、型無λ計算の big step semantics (戦略は正格評価)を実装しました。まあ要するにしょぼいインタプリタですね。 FP でλ計算を実装する まず、普通に関数型言語(OCaml)で実装してみました。 λ式の型は t (term) λ式に…

OO の方面から、「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」とか関数型の方面から、「静的型が役に立たないなんてはずない OO の人は頭おかしい」とか良く聞こえてくるんですが、ダックタイピング心理学 とかいう真に頭おかしい意見を…

良心が咎めないことも無いので…各関数型言語(らしきもの)のホームページには大体、ウチの言語はこの会社で使われているよ！だから君も使わなきゃ駄目駄目！というお手盛りのページがあります。それをペペッとググリましたので列挙しておきます: Scala: http:…