Exercise 2.25 all-ids ってどっかで見たんだけどな、と思いつつ grep しても出てこなかった。テキストを遡ってみたら 2.10 にあるな。2.2 節はディレクトリ別にしてたので出てこなかったのか。以下なカンジ。 (add-load-path ".") (load "define-datatype")…

わははは的世界が広がっている若い人のエントリです。 Y-Combinator, lambda再帰, 不動点 正直不動点とかあまり理解できてないまま、読み進めてたりしたなぁ、と。