Supercombinator
Un supercombinator est une expression mathématique qui est plein-bondit et d'un seul bloc. Ce peut être un constant ou un Combinator où tous les subexpressions sont des supercombinators.
En termes mathématiques, un S de l'expression du lambda est un supercombinator du n d'Arity s'il n'a aucune variable libre et est du &lambda de forme ; x1.&lambda ; &lambda de x2… ; xn. E (avec le de n ; ≥ ; 0, de sorte que des lambdas ne soient pas exigés) tels que le E lui-même n'est pas une abstraction du lambda et aucune abstraction de lambda dans le E est encore un supercombinator.
| Random links: | USS Agamenticus (1863) | Oddworld : Oddysee d'Abe | Château de Pendennis | d'USS D-1 (SS-17) | Linguistique des textes | Supercombinator |