ウーン、ちゃんと書かないとやばいよなー、と思いつつ、極めてラフなメモ。近日中になんとかして、より詳しい記述をしたい。変数と項のペアを束縛と呼ぶことにする。x = t のようにイコールで書く。束縛の集合、ただし変数はすべて違うものを束縛セットと呼…

つうか、僕がとちったので、来週の火曜の午後4時だ。忘れないように書いておく。

letとletrecを区別しないで、単にletと書いてletrecの意味でいいじゃないか、と思っていたが、そうじゃないな。let {x = y, y = x} in x は意味があるが、letrec {x = y, y = x} in x はワケワカラン。letを単なる置換演算子と考える発想は余りなかったのだ…