发明家悖论：更一般性的问题也许更容易解决。(有时候吧)
程序员在节省空间方面无计可施时，将自己从代码中解脱出来， 退回起点并集中心力研究数据，
常常能有奇效。数据的表示形式是程序设计的根本。
下面是退回起点进行思考时的几条原则：
使用数组重新编写重复代码。冗长的相似代码常常可以使用最简单的数据结构—— 数组来更
好地表述。
封装复杂结构。当需要非常复杂的数据结构时，使用抽象术语进行定义， 并将操作表示为
类。
尽可能使用高级工具。超文本，名字-值对，电子表格，数据库， 编程语言等都是特定问题
领域中的强大的工具。
从数据得出程序的结构。在动手编写代码之前，优秀的程序员会彻底理解输入， 输出和中间
数据结构，并围绕这些结构创建程序。
提到的书籍：Polya的《How to Solve it》，中文书《怎样解题》； Kernighan和Plauger的
《Elements of Programming Style》；Fred Brooks的《人月神话》 Steve McConnell的《代码大
全》；《Rapid Development》； 《Software Project Survival Guide》
编写正确的程序
本章以二分搜索为例子，讲述了如何对程序进行验证及正确性分析。
深入阅读：David Gries的《Science of Programming》 是程序验证领域里极佳的一本入门书籍。
编程中的次要问题
到目前为止，你已经做了一切该做的事：通过深入挖掘定义了正确的问题， 通过仔细选择算法和
数据结构平衡了真正的需求，通过程序验证技术写出了优雅的代码， 并且对其正确性相当有把
握。万事俱备，只欠编程。
使用断言assert
自动化测试程序
