类型系统

类型系统是对类型进行定义、检查和处理的系统。

类型系统的基本目的是保证类型安全。

基础知识¶

类型¶

类型是可能值的命名集合。

非类型化语言¶

没有类型，或有一个包含所有值的单一通用类型。

类型化语言¶

类型系统是类型化语言的组成部分。

显示类型/隐式类型¶

如果类型是语法的一部分，该语言就是显式类型的，否则就是隐式类型的。

静态类型 vs 动态类型¶

静态类型：在编译时做类型检查；动态类型：在运行时做类型检查。

强类型 vs 弱类型¶

强类型/弱类型：能否被隐式转换。

资源¶

• Type Theory (Stanford Encyclopedia of Philosophy)
• Set Theory (Stanford Encyclopedia of Philosophy)
• 类型系统综述（一） - 知乎