我在某处读过当前的机器模型不太适合函数式编程.那么当前机器模型的局限性是什么？有没有更合适的机型开发？
是否有无类型lambda演算的解释器(或编译器)？(根据这个帖子,它是可能的.)我认识到它作为一种编程语言几乎没有用处,特别是如果大部分语言(例如数字和布尔运算符)是由用户或库实现的.语言本身.但是,我仍然认为这对学习和探索微积分很有用.对于这个,解释器比编译器更可取,因为它们可以工作.有谁知道这样的节目？
compiler-construction interpreter functional-programming lambda-calculus untyped-variables
interpreter ×1