功能编程的机器模型 [英] Machine model for functional programming

问题描述

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

Landin's SECD机器是最早设计用于评估lambda演算表达式的机器之一。 Ager等人涵盖其他设计用于在论文中执行相同操作的抽象和虚拟机评估者和抽象机器之间的函数对应。

I've read somewhere that the current machine model is not quite fit for functional programming. So what is the limitations of the current machine model? Has a more suitable machine model been developed?

解决方案

Landin's SECD machine was one of the first designed to evaluate lambda calculus expressions. Ager et al. cover other abstract and virtual machines designed to do same in their paper "A Functional Correspondence between Evaluators and Abstract Machines".

这篇关于功能编程的机器模型的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！