Интернет магазин китайских планшетных компьютеров

Компьютеры - Конкатенативный язык программирования - История и определение

Forth был первым языком данного плана, но только Joy стал тем языком, который получил название конкатенативного. Создатель языка Joy, Manfred von Thun, много писал о конкатенативной теории.

Строго говоря, язык программирования можно назвать конкатенативным когда:

• Элементарное правильно-построенное выражение языка это унарная функция с одним аргументом и одним возвращаемым значением.
• Если X и Y — правильно-построенные выражения, конкатенация X и Y — также правильно построена.
• Если Z — конкатенация X и Y — значение Z это композиция функций X и Y.

В этом определении стек не упоминается; но все конкатенативные языки используют эту структуру данных как самый простой способ передавать от одной операции к другой. Термин «конкатенативный» не общепринят, многие пользователи таких языков предпочитают называть их «стековыми».

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