等类型分析和