【发布时间】：2010-10-19 13:39:07
【问题描述】：
我在某处读到过，当前的机器模型不太适合函数式编程。那么目前机器型号的局限性是什么？是否开发了更合适的机器模型？
【问题讨论】：
【发布时间】：2010-10-19 13:39:07
【问题描述】：
Landin 的SECD machine 是最早设计用于计算 lambda 演算表达式的工具之一。艾格等人。在他们的论文“A Functional Correspondence between Evaluators and Abstract Machines”中涵盖了其他旨在做同样事情的抽象和虚拟机。
【讨论】：
是的，它是开发出来的。这是一篇关于Lisp Machine的文章。
【讨论】：
-
Lisp 机器经过优化以运行 Lisp 程序，但不是机器模型。此外，据我了解，它们仍然是连续的。适合（纯）函数式编程的机器模型不应该是顺序的。