Какая роль в комбинаторах (или функциях) более высокого порядка содержится в concatenative и tacit programming?Роль комбинаторов в конкатенативных/неявных языках программирования
Есть ли другой способ реализовать конкатенативный язык программирования вместо прямого манипулирования стеком?
Насколько плотно отношение между упомянутыми комбинаторами и Schonfinkel's combinatory logic?
В моем ответе "Explain Concatenative languages to me like I’m an 8 year old" Я утверждал, что нецелесообразно использовать слово «конкатенативный» для описания языков программирования. Этот район является частной игровой площадкой для Манфреда фон Тун. Нет никакого реального определения того, что представляет собой конкатенативный язык, и нет никакой зрелой теории, лежащей в основе идеи конкатенативного языка. Поскольку концепция не определена, невозможно дать окончательное объяснение роли комбинаторов.
Возможно, вы предпочтете провести время, изучая более устоявшиеся темы, такие как комбинаторная логика, комбинаторы SK, лямбда-исчисление и графообразующие машины. Если вас интересует точечное программирование с более прагматичной точки зрения, APL, Forth и PostScript хорошо изучают.
Спасибо, я прочитал упомянутое сообщение и обязательно исследую темы, которые вы обозначили – Bubba88
Я думаю, что вы заходите слишком далеко, когда вы говорите * Не полезно использовать слово «конкатенативный» для описания языков программирования * - это скорее, неясная, но полезная концепция, которая становится бессвязной, когда вы слишком сильно ее выдвигаете, примером концепций семейного сходства, таких как «игра», которую критиковал Витгенштейн. И если они являются игровой площадкой для Манфреда фон Тун, они не являются частными: я нашел работу Кристофера Диггинса над Cat интересной. –
Ответ на этот ответ можно найти здесь: http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html Почему вопросы сопутствующего программирования –
Есть ли другой способ реализовать конкатенативный язык программирования, а не напрямую манипулировать стеком?
Да. Язык Enchilada основан на перезаписи сроков.
+1, хотя их определение «Concatenative: синтаксическая конкатенация постфиксных выражений дает допустимые выражения» - это просто отличная идея, о которой Норман жалуется в своем ответе. –
Да, я думаю, что все, кто участвует в «конкатенативных» языках, составляют свое определение. Геновое «чувство» языков одно и то же, поэтому я не буду беспокоиться об этом :) – Dan
Этот вопрос ссылался на сообщение в блоге * [Почему вопросы о сочетанном программировании] (http://evincarofautumn.blogspot.dk/2012/02/why-concatenative-programming-matters.html) *. –