增加类型推导算法