Modelo de máquina para programación funcional

Question

He leído en alguna parte que el modelo actual de la máquina no es apto para la programación funcional. Entonces, ¿cuáles son las limitaciones del modelo de máquina actual? ¿Se ha desarrollado un modelo de máquina más adecuado?

Answer 1

Landin's SECD machine fue uno de los primeros diseñados para evaluar expresiones de cálculo lambda. Ager et al. cubra otras máquinas abstractas y virtuales diseñadas para hacer lo mismo en su papel "A Functional Correspondence between Evaluators and Abstract Machines".

Answer 2

Sí, fue desarrollado. Aquí hay un artículo en Lisp Machine.