功能编程的机器模型

Hai*_*yen 9 functional-programming

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

out*_*tis 9

Landin的SECD机器是最早用于评估lambda演算表达式的机器之一.Ager等人.在他们的论文" 评估者和抽象机器之间的功能对应 "中介绍了其他抽象和虚拟机.