Роль combinators на конкатенативных/молчаливых языках программирования
Какая точная роль делают combinators высшего порядка (или функционируйте производители), держите в конкатенативном и молчаливом программировании?
Там другой путь состоит в том, чтобы реализовать конкатенативный язык программирования вместо того, чтобы непосредственно управлять стеком?
Насколько трудный является отношение между combinators комбинаторной логикой упомянутого и Schonfinkel?
1 ответ
В моем ответе на «Объясняйте мне конкатенативные языки, как будто мне 8 лет» я утверждал, что это бесполезно использовать слово «конкатенативный» для описания языков программирования . Эта область кажется частной площадкой для Манфреда фон Туна. Нет реального определения того, что представляет собой конкатенативный язык, и нет зрелой теории, лежащей в основе идеи конкатенативного языка. Поскольку концепция на самом деле не определена, невозможно дать окончательное объяснение роли комбинаторов.
Вы можете предпочесть потратить свое время на изучение более устоявшихся тем, таких как комбинаторная логика, комбинаторы SK, лямбда-исчисления и машины для редукции графов. Если вас интересует беспроблемное программирование с более прагматической точки зрения, стоит изучить APL, Forth и PostScript.