类型分析法