What is it, naokirin?

2012-03-09から1日間の記事一覧

ラムダ計算をちょっと勉強してみたので、忘れないうちに書いておく

なんとなく最近少し理論的な方面もやってみようかなと思い立って、今回はラムダ計算の基礎を勉強してみることにしました。 関数型言語の基盤らしいです。たしかにちょっと雰囲気はあります。参考にしたページとしてはWikipedia ラムダ計算 - http://ja.wikip…