组合器在连接/隐性编程语言中的作用

Question

组合器在连接/隐性编程语言中的作用

Bub*_*a88 12 lambda combinators concatenative-language tacit-programming

高阶组合器(或函数生成器)在连接和默认编程中有什么确切的作用？

是否有另一种方法来实现连接编程语言而不是直接操作堆栈？

提到的组合子和Schonfinkel的组合逻辑之间的关系有多紧密？

Answer 1

小智 10

是否有另一种方法来实现连接编程语言而不是直接操作堆栈？

是.该安吉拉卷语言是基于长期重写.

+1,虽然他们的定义"Concatenative:后缀表达式的语法连接,产生有效的表达式"只是Norman在他的回答中抱怨的另类想法. (2认同)

Answer 2

Nor*_*sey -4

在我对“像 I\xe2\x80\x99m 一个 8 岁孩子一样向我解释连接语言”的回答中，我认为使用“连接”这个词来描述编程语言是没有用的。这个领域似乎是曼弗雷德·冯·图恩 (Manfred von Thun) 的私人游乐场。\n对于什么构成连接语言没有真正的定义，也没有成熟的理论支持连接语言的思想。由于该概念尚未真正定义，因此不可能对组合器的作用提供明确的解释。

\n\n

您可能更愿意花时间研究更成熟的主题，例如组合逻辑、SK 组合器、lambda 演算和图约简机。如果你从更实用的角度对无点编程感兴趣，APL、Forth 和 PostScript 都非常值得学习。

\n

对此答案的回应可以在这里找到：http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html 为什么串联编程很重要 (11认同)
我认为当你说*使用“连接”这个词来描述编程语言没有用时，你就走得太远了-这是一个不清楚但有用的概念，当你把它推得太远时，它就会变得不连贯，例如维特根斯坦批评的诸如“游戏”之类的家族相似概念。如果它们是曼弗雷德·冯·图恩的游乐场，那么它们就不是私人的：我发现克里斯托弗·迪金斯关于猫的工作很有趣。 (9认同)
我讨厌将此视为已接受的答案。这是不对的。连接具有这样的属性：_你可以砍掉它的一部分，它是一个有效的程序，然后连接程序并得到另一个程序_。如此简单，真的不需要太多解释。串联编程语言还有其他一些功能，但这是其定义功能。它也无法回答OP的任何问题。 (4认同)

归档时间：	15 年，7 月前
查看次数：	2425 次
最近记录：	13 年，6 月前