第 8 章 深入类型系统

Rust 的类型系统实际上是一种代数类型系统（Algebraic data type）。它在数学上是有严格定义的，非常严谨的一套理论。本章试图用一种比较通俗的语言，简单地解释一下什么是代数类型系统，我们应该如何理解它，以及它给 Rust 带来了哪些优势。