类型是任何静态语言中最棒的特性之一。它们允许用户在编译时表达丰富的内容。本章可能不是本书中最高阶的，但是内容可能是最重要的。我们现在学习了复用代码的多种方法。还了解了很多功能强大的特征，以及Rust标准库是如何对它们进行深度应用的。
在第5章中，我们将探讨程序如何使用内存，以及Rust如何进行编译期内存管理。