Combinator Birds や prelude.scm のコメントに載っている SSK(S(K(SS(S(SSK))))K)の場合、 Yx=fxfと仮定する。すると、 fxf=x(fxf) =x(Sf(Kf)x) =x(SSKfx) =S(Kx)(S(SSK)(Kx))f =SS(S(SSK))(Kx)f =S(K(SS(S(SSK))))Kxfとなって、 f=S(K(SS(S(SSK))))Kとすれ…

Lazy K プログラマたる者、Y コンビネータの一つも自力で作れるようになりたいものである、ということで作り方を考えてみた。 みんな大好き Y コンビネータは、 Yx=x(Yx)であるという所から出発する。 1 Y が複数のコンビネータの組み合わせからできていると…