一、递归(recursive code) 1. 常见的递归定义 a) 数据结构:树,堆 b) 操作:类型推断(type inference),类型合一(unification) c) 数学实体:斐波纳契树,分形图 d) 算法:快速排序,树遍历