ラムダ計算について考える のバックアップ(No.1)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- ラムダ計算について考える へ行く。
- 1 (2010-06-07 (月) 00:40:20)
なかなか眠れないので †
ラムダ計算について考えてみる。
一番、自分にとってわかりやすい説明を書いてから寝ることにする。
アルファ変換 †
リファクタリングで、よくある名前変更みたいなもので、 名前がかぶっちゃだめよっていう縛りがあるから、そういうのは束縛変数っていう。
ベータ変換 †
条件は適用されている式のかぶっちゃだめよ変数になっちゃダメってことらしい。
こんなもんでどうだろう。
