面向对象与现代数学

面向对象的数学基础似乎可以追溯到上世纪初的罗素和维特根斯坦，其对于对象的逻辑论证奠定了面向对象作为描述现实事件有力武器的理论基础。但从面向对象的技术层面，特别是设计模式（Design Pattern）的研究层面上看，面向对象更像是对于程序结构的重新认识，是以结构来作为软件的根本驱动力。良好的面向对象设计总是用一些简单而内敛的对象通过精巧的组合完成庞大而繁杂的工作；而拙漏的设计即便采用相同的对象也很难达到这样的效果。现代数学的发展也预示这一点，在上上世纪人们就已经从单纯求解方程转向研究方程结构对于解的特性的影响。“结构”已经成为现代代数学中最重要的研究对象。以数学发展之历史加以类比，面向对象的发展很可能导致编程技术的元语言的产生，以及研究“结构”及其不变性的“软件几何”的出现。拭目以待哟！