また出てきたYコンビネータ。Y!。

また出てきました。今度はThe Seasoned Schemerに。The Little Schemerでも9章で出てきました。理解できなくて散々書きました。

• vallog: Y Combinator

Yコンビネータは、いろんなサイトや解説記事を読みましたが、結局The Little Schemerが一番わかりやすかったです。The Seasoned SchemerではY!が出てきます。「！」ということで、副作用ありです。side effectです。その名もY-bang。ワイバーンみたい。

• 副作用 (プログラム) - Wikipedia

The Little SchemerとThe Seasoned Schemer合わせて20章のうちで、初めて副作用が出てくるのが15章です。ここまで代入などを使わずにきて、急に使うことになるとさすがに気持ち悪く感じますね。

ちなみにY!が出てくるのは16章です。

Thunk you, Peter J. Landin.

だそうです。

• http://codepad.org/6J0R4UkO

(define Y! (lambda (L) (let ((h (lambda (l)(quote ())))) (set! h (L (lambda (arg)(h arg)))) h))) (define Y-bang (lambda (f) (letrec ((h (f (lambda (arg)(h arg))))) h)))

あれ、でも下のY-bangは副作用あるか？

そういえば、Yコンビネータはこれを見たときに、理解のきっかけになりました。

• http://codepad.org/8DOhaOBO

((lambda (f) (f f 10)) (lambda (f n) (cond ((< 0 n) (print "hello") (f f (- n 1))))))

• vallog: [scheme][2ch]10 times print "hello"