Superkombinator

Izvor: Wikipedija
Prijeđi na navigaciju Prijeđi na pretraživanje

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:
  1. S nema slobodnih varijabli.
  2. bilo koja lambda apstrakcija u E je superkombinator.
  3. n ≥ 0, tako da lambde nisu zahtijevane.

Izvori[uredi | uredi kôd]

  • S. L. Peyton Jones, The Implementation of Functional Programming Languages. Prentice Hall, 1987.


Desktop computer clipart - Yellow theme.svg Nedovršeni članak Superkombinator koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima Wikipedije.