プログラミング言語の基礎概念オンライン演習

No53は、実際のＭＬ上でも型チェックに通らないものらしいし、取り敢えずあとまわしにした。
6章の「静的有効範囲と名前無し表現への変換」に入る。名前無し表現が何のためのものかよく分からんかったけど、バイナリコードとか中間形式への変換の定式化とかなんだろう。たぶん。

途中の説明とか証明とかすっとばしてるので良く分からん。