Роль комбинаторов в конкатенативно-молчаливых языках программирования

Какую роль играют более крупные комбайнаторы (или производители функций) в concatenative и молчаливое программирование?

Есть ли другой способ реализовать конкатенативный язык программирования, а не напрямую манипулировать стеком?

Насколько плотно отношение между упомянутыми комбинаторами и Schonfinkel комбинаторная логика?

Ответ 1

В своем ответе на "Объясните сопутствующие языки мне, как мне 8 лет" Я утверждал, что не полезно использовать слово "конкатенативный" для описания языков программирования. Этот район является частной игровой площадкой для Манфреда фон Тун. Нет реального определения того, что представляет собой конкатенативный язык, и нет никакой зрелой теории, лежащей в основе идеи конкатенативного языка. Поскольку концепция не определена, невозможно дать окончательное объяснение роли комбинаторов.

Вы можете предпочесть потратить свое время на изучение более устоявшихся тем, таких как комбинаторная логика, комбинаторы SK, лямбда-исчисление и графообразующие машины. Если вас интересует точечное программирование с более прагматичной точки зрения, APL, Forth и PostScript хорошо изучают.

Ответ 2

Есть ли другой способ реализовать конкатенативный язык программирования, а не напрямую манипулировать стеком?

Да. Язык Enchilada основан на перезаписи терминов.