编译器/解释器向金属发射的语言实现离命令式还有多远



我不想问这个问题作为一个"有人打败我2年的问题"的"答案"所以我做了一个新问题。它出现在那里的一个答案中(参见N.Ramsey,他写道:

"…然而,如果你查阅Arvind教授在麻省理工学院,他的团队设计并制造了数据流机器基本计算操作在自然界"

裸金属指令可能是声明性的或以其他方式不是强制性的。

有人觉得朝着这个方向走多远吗?编译器必须始终将函数式语言转换为命令式语言吗?是否存在启用此功能的硬件?

我只是好奇——总是看节目。lang.trends,我终于想知道没有可变状态(例如)到底意味着什么。

存在非必需硬件,用于专门的应用程序。现场可编程门阵列(FPGA)就是一个很好的例子。

然而,冯·诺依曼机器模型(它是我们当前处理器体系结构的基础)已被证明是非常有用和通用的,并且在使必要的处理器快速廉价方面花费了大量工作。虽然探索非命令式计算机概念是可能的,但在目前看来,这似乎不值得——在命令式机器上构建一个声明式机器作为解释器比真正的声明式机器便宜得多,而且快得多。

相关内容

  • 没有找到相关文章

最新更新