以插入算法的实现为例，从一开始写下思路，到证明循环不变式，从完全在主函数中书写，到把某些步骤写成函数，再到把这一算法写成类，而后分析时间复杂度目录算法的实现思路（循环不变式）做法完全在主函数中书写（实现一）将“交换”写成函数将“排序”写成函数将几乎所有步骤都写成函数（