Razlika između inačica stranice »Superkombinator«
Izvor: Hrvatska internetska enciklopedija
(Bot: Automatski unos stranica) |
m (bnz) |
||
| Redak 1: | Redak 1: | ||
Superkombinator''' je [[matematika|matematički]] [[matematički izraz|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: | Može biti definiran, u matematičkim terminima, na sljedeći način: | ||
Trenutačna izmjena od 03:48, 25. ožujka 2022.
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.
Nedovršeni članak Superkombinator koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.