user168237
user168237

Reputation:

Machine model for functional programming

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?

Upvotes: 9

Views: 1170

Answers (2)

outis
outis

Reputation: 77400

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".

Upvotes: 10

Boris Pavlović
Boris Pavlović

Reputation: 64622

Yes, it was developed. Here's an article on Lisp Machine.

Upvotes: 0

Related Questions