Hispanopedia WikiUn supercombinador es una expresión matemática completamente ligada y autónoma. Puede ser una constante o un combinador donde todas las subexpresiones son supercombinadores. Los supercombinadores se utilizan en la implementación de lenguajes funcionales.
En términos matemáticos, una expresión lambda S es un supercombinador de aridad n si no tiene variables libres y es de la forma λx 1 .λx 2 ...λx n . E (con n ≥ 0, por lo que no se requieren lambdas) tal que E en sí mismo no es una abstracción lambda y cualquier abstracción lambda en E es nuevamente un supercombinador.
Véase también
Referencias
- SL Peyton Jones, La implementación de lenguajes de programación funcional . Prentice Hall, 1987.