Суперкомбинатор
-
Определение суперкомбинатора
- Суперкомбинатор — это математическое выражение, которое является полностью связанным и самодостаточным.
- Суперкомбинаторы могут быть константами или комбинаторами, где все подвыражения также являются суперкомбинаторами.
-
Применение суперкомбинаторов
- Суперкомбинаторы используются в реализации функциональных языков программирования.
-
Формальное определение суперкомбинатора
- Лямбда-выражение S является суперкомбинатором арности n, если оно не содержит свободных переменных и имеет форму λx1.λx2…λxn.E.
- E не является лямбда-абстракцией, и любая лямбда-абстракция в E также не является лямбда-абстракцией.
-
Дополнительные ресурсы
- Статья содержит ссылки на другие материалы, связанные с функциональными языками программирования.
- Статья является теоретической и требует расширения для улучшения Википедии.
Полный текст статьи: