Superkombinator
Superkombinator jest wyrażeniem matematycznym , które jest w pełni powiązane i samoistne. Może to być stała lub kombinator , w którym wszystkie podwyrażenia są superkombinatorami. Superkombinatory są wykorzystywane w implementacji języków funkcjonalnych.
W terminach matematycznych wyrażenie lambda S jest superkombinatorem arity n , jeśli nie ma wolnych zmiennych i ma postać λx 1 .λx 2 ... λx n . E (z n ≥ 0, więc lambdy nie są wymagane) takie, że samo E nie jest abstrakcją lambda , a każda abstrakcja lambda w E jest ponownie superkombinatorem.
Zobacz też
- SL Peyton Jones, Implementacja języków programowania funkcyjnego . Prentice Hall, 1987.