摘要： 0. 概述 为何高级语言需要类型系统这个概念？在汇编时代是没有完整的数据类型系统的，结构化编程引入了结构化的控制流、为结构化设计的子程序，随之这种结构化的代码所操作的数据也进一步的“抽象化、特化”，故而有了数据类型这种概念，类型系统主要用于两个用途： 一个类型系统包含一些内部类型，一种定义新类型的机 阅读全文