我已经阅读了维基百科关于串联语言的文章，但现在比一开始更加困惑。 :-) 以白痴的说法，什么是串联语言？

在串联语言（如Forth、Factor、Joy等）中有哪些实际项目？

在串联式编程和暗示式编程中，高阶组合子（或函数生成器）扮演着什么角色？ 实现串联式编程语言除了直接操作堆栈还有其他方式吗？ 提到的组合子与Schonfinkel的组合逻辑之间的关系有多紧密？

近期 Haskell 博客活动1给了我启发，尝试在 Haskell 中编写类似 Forth 的领域特定语言。我采取的方法既直截了当又令人困惑： {-# LANGUAGE TypeOperators, RankNTypes, ImpredicativeTypes #-} -- a :~&gt...

我从Slava Pestov那里读到Factor受Lisp的影响，但我不确定我能理解它们之间有什么联系？它们不是非常不同的编程语言吗？

Factor手册的这个页面讲解了存储在continuations中的这些类型的stack： datastack retainstack callstack namestack catchstack 这些stack具体保存了什么？对我来说最困惑的是callstack、retainstac...