功能编程的机器模型

Question

我在某处读过当前的机器模型不太适合函数式编程。那么当前机器模型的局限性是什么？是否开发出更合适的机型？

Answer 1

兰丁的SECD machine是第一个评估lambda演算表达式的人之一。 Ager等人。在他们的论文“A Functional Correspondence between Evaluators and Abstract Machines”中涵盖了其他旨在做同样的抽象和虚拟机。

Answer 2

是的，它已经开发出来了。这是关于Lisp Machine的文章。