ラムダ計算について考えてみる。
一番、自分にとってわかりやすい説明を書いてから寝ることにする。
リファクタリングで、よくある名前変更みたいなもので、 名前がかぶっちゃだめよっていう縛りがあるから、そういうのは束縛変数っていう。
条件は適用されている式のかぶっちゃだめよ変数になっちゃダメってことらしい。
こんなもんでどうだろう。