5.2 类型体系