今日のネタがこれだけでは読者が消えそうなので(顔、立花隆ネタの続きにリンクを貼っておきます。 http://ruke.blog5.fc2.com/blog-entry-126.html

SK-combinator で遊んでみよう。 k x y = x s x y z = x z (y z) と、定義すると下のようなものが作れる。 (.) f g x = s (k s) k f g x = f(g x) ($) f x = id f x = f x flip ($) x f = s (k (s id)) k = f x flipA = s (k (s s)) (s (k k) k) a b c = b c…

F を三引数をとる curry化された関数としよう。 G x y z = F z y x の G を G = XXXXX の形で lambda を使わずに定義したい。これは flip だけでは出来ない気がする。curry uncurry も助けにはならない。さて、BG公理系では反転公理というものがあって、 順…