高阶组合器(或函数生成器)在串联和隐性编程中究竟扮演什么角色?
是否有另一种方法来实现串联编程语言而不是直接操作堆栈?
所提到的组合子与Schonfinkel的组合逻辑之间的关系有多紧密?
是否有另一种方法来实现串联编程语言而不是直接操作堆栈?
是的。Enchilada语言基于术语重写。
在我对“像我 8 岁一样向我解释连接语言”的回答中,我认为使用“连接”这个词来描述编程语言是没有用的。这个区域似乎是 Manfred von Thun 的私人游乐场。对于什么构成连接语言没有真正的定义,也没有成熟的理论支持连接语言的概念。因为这个概念并没有真正定义,所以不可能对组合器的作用提供明确的解释。
您可能更愿意花时间研究更成熟的主题,例如组合逻辑、SK 组合器、lambda 演算和图形归约机。如果您从更实用的角度对无点编程感兴趣,APL、Forth 和 PostScript 都非常值得学习。