📄️ 直观的类型自然语言中的类型📄️ 什么是类型系统类型系统的基本概念📄️ 为什么需要类型系统类型系统是轻量的形式化方法📄️ 为什么要学习类型系统- 入门类型论，提高理论水平，为之后在类型系统以及编程语言上的探索打下基础；📄️ 类型论的大图景类型论(Type Theory, TT)是类型系统背后的理论。