类型推理算法

type inference algorithm