Superkombinator je matematički izraz koji je potpuno vezan i samosadržan. Može biti konstanta ili kombinator gdje su svi izrazi superkombinatori.
Može biti definiran, u matematičkim terminima, na sljedeći način:
Superkombinator $S mjesnosti n je lambda izraz oblika λx1.λx2...λxn.E gdje E nije lambda apstrakcija, takva da: S nema slobodnih varijabli. bilo koja lambda apstrakcija u E je superkombinator. n ≥ 0, tako da lambde nisu zahtijevane.
Izvori S. L. Peyton Jones, The Implementation of Functional Programming Languages. Prentice Hall, 1987.
Kategorija:Formalni jezici