摘要： 1: 类型的概念概念：类型刻划了一组值及其上可施行的操作，可理解为值集和操作集构成的二元组。类型的概念与值的概念相对立，前者是程序中的概念，后者则是程序运行时的概念，两者通过标识值的语言成分（例如，变量、表达式等）联系起来。比如变量v说明为具有类型T，类型T所刻划的值集为{v1，v2，…vn，…}，则变量v运行时能取且只能取某个vi为值。由此可见，类型规定了具有该类型的变量... 阅读全文