スーパーコンビネーター

スーパーコンビネータとは、完全に束縛され、自己完結的な数式です。定数である場合もあれば、すべての部分式がスーパーコンビネータであるコンビネータである場合もあります。スーパーコンビネータは、関数型言語の実装において用いられます。

数学的に言えば、ラムダ式Sは、自由変数を持たず、λx ₁ .λx ₂ ...λx _n . E ( n ≥ 0 なのでラムダは不要)の形式である場合、 nのアリティ を持つスーパーコンビネータである。ただし、 E自体はラムダ抽象ではなく、 E内の任意のラムダ抽象は再びスーパーコンビネータとなる。  

• ラムダリフティング

• SL ペイトン・ジョーンズ著『関数型プログラミング言語の実装』プレンティス・ホール、1987年。