4.5.1 类型系统概述