命令式精雕细琢，函数式的学术味道，都有同样的问题。
声明式等更高层次的语言，应该会是未来的方向，而且，这个不会很遥远。
在现在多线程，网络化等诸多复杂性的编程环境下，唯有将这部分的复杂性交给编译工具去解决，否则程序员很难在走下去。
经过了这么多年的积累，已经有很多解决问题的模式出现了，编译器开发者完全可以利用这些模式来智能化实现程序员的目标。
