形式类型解析