##### 类型系统 - 类型系统 - **类型系统**是一组约束规则, 为[[编程语言]]中的各种语言结构分配一个称为类型的属性, **类型**是值的集合及其允许的操作. 定义和约束数据的类型, 可以防止类型错误, 提高程序的正确性和可维护性. **类型检查**是验证程序中表达式和操作是否符合类型规则的过程, 分为在编译时进行的静态类型检查和在运行时进行动态类型检查. 某些语言支持类型推导, 即不需要显式声明变量类型, 编译器会自动推断. 类型系统还涉及子类型, 多态等概念