Toggle menu
310,1 tis.
50
18
525,6 tis.
Hrvatska internetska enciklopedija
Toggle preferences menu
Toggle personal menu
Niste prijavljeni
Your IP address will be publicly visible if you make any edits.

Superkombinator

Izvor: Hrvatska internetska enciklopedija

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

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


Nedovršeni članak Superkombinator koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.

Sadržaj