是否有可能建造一个比较快的无类型lambda演算机器？

| 纯粹的无类型lambda演算是一个强大的概念。但是，通常将构建机器或解释器用于实际用途描述为（几乎）不可能。我想对此进行调查。从理论上讲，可以建造一个相对快速的无类型Lambda演算机器吗？ 相对较快，我通常是指在类似数量的资源（门，操作，物理空间，电力使用等）下，执行相似范围的任务，可以与现代Turing式体系结构相媲美。 我对机器的实现和体系结构层没有任何限制，只是它必须以某种方式在物理上和某种程度上可以现实实现。对于如何处理IO也没有任何限制。 如果可能，主要挑战是什么？ 如果不可能，为什么以及如何做？ 该领域的研究现状如何？ 哪些领域和主题最相关？ 关于基于lambda演算的计算机体系结构的可行性了解多少？ 涉及类似问题的问题： 用于功能编程的机器模型 采用图灵机作为主要模型的历史原因