【软件构造】第三章第一节 数据类型与类型检查