类型系统(type system)是一门编程语言最核心也是最基础的部分---编程语言最终的目标，本质上无非是回答两个问题:如何表示信息、如何处理信息

https://www.cnblogs.com/feng9exe/p/9712059.html

类型系统(type system)是一门编程语言最核心也是最基础的部分。无论该语言基于何种编程范式，都必须在开天辟地之初首先对类型系统作出明确的定义。这是因为，编程语言虽然五花八门，千奇百怪，但是归根结底，编程语言最终的目标，本质上无非是回答两个问题：

1. 如何表示信息；
2. 如何处理信息。