“算法必须名副其实。”
——Donald Knuth
在我们介绍本章更丰富的主题之前，将讨论静态类型语言中类型系统的一些知识——当然这主要是和Rust有关的。你可能在第1章中对它们有所了解，但这里我们将对它们进行深入介绍。