type-inference相关知识