Machine model for functional programming

后端 未结 2 709
无人共我
无人共我 2021-02-06 01:24

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 mac

相关标签:
2条回答
  • 2021-02-06 01:58

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

    0 讨论(0)
  • 2021-02-06 02:11

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

    0 讨论(0)
提交回复
热议问题