3.1.3类型系统 类型定义值的集合和值上操作集合(V,Op) 类型系统一组可直接使用的类型 类型规则 类型检查机制3.1.3 类型系统 •类型定义 值的集合和值上操作集合（V，Op) •类型系统 一组可直接使用的类型 •类型规则 •类型检查机制