代码之家  ›  专栏  ›  技术社区  ›  Hai Minh Nguyen

功能编程的机器模型

  •  8
  • Hai Minh Nguyen  · 技术社区  · 14 年前

    我在某个地方读到,当前的机器型号不太适合功能编程。那么,当前机器模型的局限性是什么呢?是否开发了更合适的机器模型?

    2 回复  |  直到 11 年前
        1
  •  8
  •   outis    14 年前

    Landin SECD machine 是第一个设计用来计算lambda微积分表达式的。阿格等人。在论文中介绍其他抽象和虚拟机。” A Functional Correspondence between Evaluators and Abstract Machines “。

        2
  •  0
  •   Paul Rubel    14 年前

    是的,它是开发出来的。这是一篇关于 Lisp Machine .