Суперкомбинатор

Суперкомбинатор — это математическое выражение , которое полностью связано и автономно. Это может быть либо константа , либо комбинатор , где все подвыражения являются суперкомбинаторами. Суперкомбинаторы используются при реализации функциональных языков.

С математической точки зрения лямбда-выражение S является суперкомбинатором арности n, если оно не имеет свободных переменных и имеет форму λx ₁ .λx ₂ ...λx _n . E (при n ≥ 0, так что лямбда-выражения не требуются), такое, что E само по себе не является лямбда-абстракцией , и любая лямбда-абстракция в E снова является суперкомбинатором.

См. также

• Лямбда лифтинг

Ссылки

• С. Л. Пейтон Джонс, Реализация языков функционального программирования . Прентис Холл, 1987 год.