我不想将此作为“有人在 2 年内击败我的问题”的“答案”， 所以我提出了一个新问题。从那里的答案中可以看出（参见 N. Ramsey，他写道：
“...但是，如果您查看麻省理工学院 Arvind 教授的开创性工作，他的团队设计并构建了数据流机器，其中基本计算操作在本质上更具声明性......”
裸机指令可能是声明性的或非强制性的。
有没有人觉得在这个方向上可以走多远？编译器必须总是将函数式语言转换为命令式语言吗？是否存在支持此功能的硬件？
我只是好奇- 一直在看前卫。朗。趋势，我终于想知道没有可变状态（例如）的真正含义是什么。