Lazy K
組み込み関数が3つしかない
install
メタ言語→Lazy Kに変換するコンパイラも含む
以下のような3つの関数しかない
これを組み合わせてプログラムを書く
hsI x = x
K x y = x
S x y z = (x z) (y z)
4つの表記法を組み合わせてプログラムを書くらしい
コンビネータ算法様式
通称「CC」
S,K,Iの3つのコンビネータ
Unlambda様式
\ , s , k , i`の4つ
Unlambdaには他にも関数が用意されているが、Lazy KのUnlambda記法では不要ということで4つしか無い
参考