额外说一下,造成函数、逻辑语言效率地下的原因是冯诺依曼体系。也就是在冯诺依曼体系下,指令系列语言都占有大量优势。
数据结构与对象问题,一直都是不可变与可变问题。正因为承认了可变性,才有对象等思想诞生。而且哪怕C系列语言中,数据结构也没有定位为不可变数据,变量就是承认了变,只要变量存在就无法摆脱复杂性。你让他不变,只是看起来像个样,实际上完全是两回事。优化手段,投射到硬件上指令序列,完全不一样。
所以在冯诺依曼体系下,就乖乖接受指令式的统治吧。以我现在的思想和知识,我认为冯诺依曼体系虽是成功,但是是一条歪路——单纯逻辑投射到逻辑门电路上是异常的直接和简单,但引入指令却使一切变得复杂。