SKIコンビネータ

SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデル

S(Substitution combinator)

$ \mathrm{S}xyz = xz(yz)

3つの引数を取って、1つ目の引数に3つ目の引数を適用し、その結果に2つ目の引数に3つ目の引数を適用した結果を適用する(???)

$ \mathrm{S} = \lambda xyz.xz(yz)

K(Constant (独Konstant) combinator)

$ \mathrm{K}xy = x

xだけを適用した場合、任意の引数に対してxを返す1引数の定数関数 Kxを得る(???)

$ \mathrm{K} = \lambda xy.x

I(Identity combinator)

$ \mathrm{I}x = x

引数を返す演算

$ \mathrm{I} = \lambda x.x

Q. SKIコンビネータ

Q. Sの定義

Q. Kの定義

Q. Iの定義