SanShaoS

摘要： 许多数据结构——如树和堆，操作——如类型推断和类型合一、数学实体——如斐波那契数和分形图，以及算法，如快速排序、树遍历和递归下降分析，都采用递归定义。实体和操作的递归定义用它自身来定义它的对象。虽然这些定义咋看起来好像是无限循环，但实际上并非如此，这是因为基准范例的定义，一般会定义一个特例，他不依赖... 阅读全文