Lambda 组合子在级联/默认编程语言中的作用

Lambda 组合子在级联/默认编程语言中的作用,lambda,combinators,tacit-programming,concatenative-language,Lambda,Combinators,Tacit Programming,Concatenative Language,高阶组合子(或函数生产者)在和中扮演什么样的角色 有没有其他方法实现级联编程语言而不是直接操作堆栈 提到的组合词和的之间的关系有多紧密?在我对的回答中,我认为用“连接”这个词来描述编程语言是没有用的。这一地区似乎是曼弗雷德·冯·图恩的私人游乐场。 对于连接语言的构成没有真正的定义,连接语言的概念也没有成熟的理论基础。因为这个概念并没有真正定义,所以不可能对组合子的作用提供一个明确的解释 您可能更愿意花时间研究更成熟的主题,如组合逻辑、SK组合子、lambda演算和图简化机。如果您从更实用的角度对

高阶组合子(或函数生产者)在和中扮演什么样的角色

有没有其他方法实现级联编程语言而不是直接操作堆栈

提到的组合词和的之间的关系有多紧密?

在我对的回答中,我认为用“连接”这个词来描述编程语言是没有用的。这一地区似乎是曼弗雷德·冯·图恩的私人游乐场。 对于连接语言的构成没有真正的定义,连接语言的概念也没有成熟的理论基础。因为这个概念并没有真正定义,所以不可能对组合子的作用提供一个明确的解释

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

有没有其他方法实现级联编程语言而不是直接操作堆栈


对。这种语言是基于术语重写的。

谢谢,我已经阅读了上面提到的帖子,并且肯定会在你所指的主题中进行调查。我认为当你说用“连接”这个词来描述编程语言是没有用的时候,你走得太远了——这是一个不清楚但有用的概念,当你把它推得太远时,它就会变得不连贯,这是维特根斯坦批评的“游戏”等家族相似性概念的一个例子。如果它们是Manfred von Thun的游乐场,它们就不是私人的:我发现克里斯托弗·迪金斯(Christopher Diggins)在Cat上的工作很有趣。对这个答案的回答可以在这里找到:为什么级联编程很重要?我讨厌把这看作是公认的答案。这是错误的。连接就是拥有这样的属性:你可以切掉它的一部分,它是一个有效的程序,然后加入程序,得到另一个程序。很简单,不需要太多解释,真的。连接编程语言还有其他方面,但这是其定义特性。它也无法回答OP的任何问题。+1,尽管他们的定义“连接:后缀表达式的语法连接,产生有效表达式”正是诺曼在回答中抱怨的那种与众不同的想法。是的,我认为每个人都参与了“连接”语言本身就是一种定义。不过,这两种语言的“感觉”是一样的,所以我不担心:)这个问题在博客文章中提到过。