Язык конкатенационного программирования

Конкатенативное программирование — это язык программирования без точек , в котором все выражения обозначают функции , а сопоставление выражений обозначает композицию функций . ^[1] Конкатенативное программирование заменяет применение функций , которое распространено в других стилях программирования, на композицию функций как способ по умолчанию для построения подпрограмм .

Например, вложение операций в аппликативном языке, подобное следующему:

баз ( бар ( фу ( х )))

...записывается на конкатенативном языке как последовательность функций: ^[2]

x foo бар баз

Функции и процедуры, написанные в конкатенативном стиле, не являются уровнем значений , т. е. они обычно не представляют структуры данных, с которыми они работают, с явными именами или идентификаторами . Вместо этого они являются уровнем функций  — функция определяется как конвейер или последовательность операций, которые берут параметры из неявной структуры данных , с которой работают все функции, и возвращают результаты функции в эту общую структуру, чтобы она использовалась следующим оператором. ^[3]

Сочетание композиционной семантики с синтаксисом , который отражает такую ​​семантику, делает конкатенативные языки весьма податливыми для алгебраической манипуляции программами; ^[4] хотя может быть сложно писать математические выражения непосредственно в них. ^[5] Конкатенативны языки могут быть эффективно реализованы с помощью стековой машины и обычно неявно присутствуют в виртуальных машинах в форме их наборов инструкций . ^[5]

Свойства конкатенативных языков являются результатом их композиционного синтаксиса и семантики:

• Редукция любого выражения — это упрощение одной функции до другой функции; никогда не возникает необходимости иметь дело с применением функций к объектам. ^[6]
• Любое подвыражение может быть заменено именем, представляющим то же самое подвыражение. В сообществе конкатенации это называется факторингом и широко используется для упрощения программ на более мелкие части.
• Синтаксис и семантика конкатенативных языков образуют алгебраическую структуру моноида . [ ^7]
• Конкатенативным языкам можно придать хорошую пригодность для реализации, вдохновленной линейной логикой , где мусор никогда не генерируется. ^[8]

Первым конкатенативным языком программирования был Forth , хотя Joy был первым языком, назвавшим себя конкатенативным. Другие конкатенативными языками являются dc , Factor , Onyx, PostScript и RPL .

Большинство существующих конкатенативных языков основаны на стеке ; это не является обязательным требованием, и были предложены другие модели. ^{[9] [10] [11]} В настоящее время конкатенативные языки используются для встраиваемого , настольного и веб-программирования , в качестве целевых языков и в исследовательских целях.

Большинство конкатенативных языков являются динамически типизированными . Исключение составляет статически типизированный язык Cat. ^[12]

• Программирование на уровне функций
• Гомоиконичность
• Стек-ориентированный язык программирования
• Неявное программирование

• concatenative.org: Вики о конкатенативных языках
• Staapl: Продолжение о схеме для встроенных контроллеров
• Язык программирования Энчилада
• Конкатенативный язык XY
• Язык программирования Om