SKIコンビネータでSKK = I
をやってみました。んー、あまりに素直に書け過ぎてつまんないなぁ。
module Main (main) where i x = x k x y = x s x y z = x z $ y z main = print $ s k k 100 == i 100 -- => True
をやってみました。んー、あまりに素直に書け過ぎてつまんないなぁ。
module Main (main) where i x = x k x y = x s x y z = x z $ y z main = print $ s k k 100 == i 100 -- => True