何となくY-Combinatorで相互再帰を書いてみた。思ったより綺麗に書けたので公開しておく。 まずは普通のY-Combinator (define p (lambda (f) (lambda (n) (if (zero? n) 1 (+ n (f (- n 1))))))) (define Y-a (lambda (meta) ((lambda (proc) (meta (lambda …