本文介绍了功能编程的机器模型的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

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

Landin's 是最早设计用于评估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".

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

10-30 11:53