语言实现离命令式有多远?编译器/解释器从哪里发射到金属？

Question

我不想把这个作为一个比我早两年的问题的“答案”，所以我做了一个新的问题。从答案中可以看出(见N. Ramsey，他在其中写道：

"...However，如果你查一查麻省理工学院的Arvind教授的开创性工作，他的小组设计和建造了数据流机器，其中基本的计算操作在本质上更具有声明性.“

这可能是赤裸裸的指令可以是声明性的，也可以是非强制性的。

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

我只是好奇-总是在看节目。朗格。趋势

Answer 1

非命令式硬件存在，并用于专用应用程序.现场可编程门阵列(FPGAs)就是一个很好的例子。

然而，von机器模型(它是我们当前处理器体系结构的基础)已经被证明是非常有用和通用的，并且在快速和廉价的命令式处理器上花费了大量的工作。虽然探索非命令式计算机概念是可能的，但在当前的时间里，它似乎不值得--在命令式机器之上构建一个说明性机器，比真正的声明式机器便宜得多，速度快得多。