5.4.1 类型系统