软件从一开始就是数学系统思维与工程实际的奇妙结合:香农定理、冯诺伊曼自动机原理、图灵自动机原理,电子器件、集成芯片,集成出了计算机系统这样的伟大设计。
计算机工业经历了长时间的高速发展与激烈动荡,包括技术、经济、文化、人世、政治,几乎可以代表过去接近半个世纪的人类进化。
在计算机系统的过去,软件一直是最前沿的创新基础。成功有效的软件代码逐步固化为硬件产品或者半硬件化的服务产品。这是与硬件具有更好的可靠性和运行效率有关的。
同时,软件的开发迭代与积累速度超过了所有的历史既往,软件快速的庞大化带来了软件业的几乎所有问题。从工程角度看,解决方案是从两个方向出发的:从整体论和全局观出发,需要提出更有效的能够统治全局的抽象模型和方法论,(就像C语言的函数,C++的对象,Unix的管道,Linux的文件,。。。);从域分化以及局部寻优出发的专业化数学描述(数据库领域的SQL,图形渲染领域的Nile,配置文件领域的Dhall,。。。)。
我认为,只有符合前述工程原理的语言开发才是最有效的和最有把握成功的。