类型解释