类型系统时编程语言的基础

对每一门编程语言的掌握都要仔细考究着门语言的类型系统。