2010-11-27から1日間の記事一覧
Lazy Kで再帰をしようとしたら以下のようなイディオムを使うんだけど ;; fact ((lambda (x) (x x)) (lambda (self) (lambda (n) (if (zero? n) 1 (* n ((self self) (- n 1))))))) このイディオム部分をくくりだすとそれがYになる (lazy-def '(Y f) '((lambd…
Lazy Kで再帰をしようとしたら以下のようなイディオムを使うんだけど ;; fact ((lambda (x) (x x)) (lambda (self) (lambda (n) (if (zero? n) 1 (* n ((self self) (- n 1))))))) このイディオム部分をくくりだすとそれがYになる (lazy-def '(Y f) '((lambd…