letrecできた

やっとletrecをコンパイルできた。まあ，バグある可能性大だけど。末尾再帰？ナニそれ？
しかし，間違いが多すぎる。実装して気づく間違いだけでなく，実装する前に気づいてしかるべき間違いが。
そろそろ本読み期に入るべきかもしれない。知識のストックが底をつき始めている気がする（器が器なのでたいして貯められませんが）。候補としては，

Compiling with Continuations

Types and Programming Languages (The MIT Press)

かなあ。円高で安くなれば良いのだけど。