系统设计与验证 (Lean)Lean 类型系统Lean类型系统 欢迎来到 Lean 的 Lean类型系统 部分，在这一章节中，你将学到以下内容： Lean类型基础 Lean基本类型 Lean类型声明 Lean函数类型 Lean依赖类型 Lean归纳类型 Lean递归类型 Lean代数数据类型 Lean多态类型 Lean类型类 Lean类型推断 Lean类型安全 Lean类型转换 Lean子类型 Have fun coding!