Superkombinator
En superkombinator är ett matematiskt uttryck som är helt bundet och fristående. Det kan vara antingen en konstant eller en kombinator där alla underuttryck är superkombinatorer. Superkombinatorer används vid implementering av funktionella språk.
I matematiska termer är ett lambdauttryck S en superkombinator av aritet n om det inte har några fria variabler och har formen λx 1 .λx 2 ...λx n . E (med n ≥ 0, så att lambdas inte krävs) så att E själv inte är en lambdaabstraktion och varje lambdaabstraktion i E är återigen en superkombinator.
Se även
- S. L. Peyton Jones, Implementeringen av funktionella programmeringsspråk . Prentice Hall, 1987.