Суперкомбинатор
![]() | этой статьи Фактическая точность оспаривается . ( Ноябрь 2015 г. ) |
Возможно, эту статью придется переписать, Википедии чтобы она соответствовала стандартам качества . ( ноябрь 2015 г. ) |
Суперкомбинатор — это математическое выражение , которое полностью связано и автономно. Это может быть либо константа , либо комбинатор , где все подвыражения являются суперкомбинаторами. Суперкомбинаторы используются при реализации функциональных языков.
С математической точки зрения лямбда-выражение S является суперкомбинатором арности n, если оно не имеет свободных переменных и имеет форму λx 1 .λx 2 ...λx n . E (при n ≥ 0, так что лямбда-выражения не требуются), такое, что E само по себе не является лямбда-абстракцией , и любая лямбда-абстракция в E снова является суперкомбинатором.
См. также [ править ]
Ссылки [ править ]
- С. Л. Пейтон Джонс, Реализация языков функционального программирования . Прентис Холл, 1987 год.