Суперкомбинатор - Supercombinator
 | Эта статья фактическая точность оспаривается. (Ноябрь 2015) (Узнайте, как и когда удалить этот шаблон сообщения) |
 | Эта статья может потребоваться переписанный соответствовать требованиям Википедии стандарты качества. (Ноябрь 2015) |
А суперкомбинатор это математическое выражение который полностью связанный и автономный. Это может быть либо постоянный или комбинатор где все подвыражения - суперкомбинаторы. Суперкомбинаторы используются при реализации функциональных языков.
С математической точки зрения лямбда-выражение S суперкомбинатор арность п если он не имеет свободных переменных и имеет вид λx1.λx2... λxп.E (с п ≥ 0, поэтому лямбды не требуются) такая, что E сам по себе не лямбда-абстракция и любая лямбда-абстракция в E снова суперкомбинатор.
Смотрите также
Рекомендации
- С. Л. Пейтон Джонс, Реализация языков функционального программирования. Прентис Холл, 1987.
| P ≟ NP | Этот теоретическая информатика –Связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |