类型分析