なかなか眠れないので

ラムダ計算について考えてみる。

なぜ関数プログラミングは重要か?

http://www.sampou.org/haskell/article/whyfp.html

wikiの説明

http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97

特徴

Wikiに書いてあった特長

俺が思う、特徴

一番、自分にとってわかりやすい説明を書いてから寝ることにする。

アルファ変換

リファクタリングで、よくある名前変更みたいなもので、 名前がかぶっちゃだめよっていう縛りがあるから、そういうのは束縛変数っていう。

ベータ変換

条件は適用されている式のかぶっちゃだめよ変数になっちゃダメってことらしい。

こんなもんでどうだろう。

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2010-06-16 (水) 12:58:32 (4150d)