数据和类型

在本章中，我们将研究 OCaml 的一些内置数据类型，包括列表、变体、记录、元组和选项。其中许多可能会让人感觉熟悉，因为它们在其他编程语言中也很常见。特别是，

• 列表和元组，在 Python 中可能感觉相似；和
• 记录和变体，可能与 C 或 Java 中的 struct 和 enum 类型感觉相似。

由于熟悉，我们称之为这些标准数据类型。我们将学习模式匹配，这是一个不太熟悉的功能。

几乎在我们学习列表之后立即，我们将暂停标准数据类型的学习，转而学习在 OCaml 中使用 OUnit 进行单元测试，OUnit 是一种类似于您可能在其他语言中使用过的单元测试框架。OUnit 依赖于列表，这就是为什么我们现在才开始介绍它。

在本章的后面，我们将学习一些 OCaml 数据类型，这些类型可能不像其他语言那么熟悉。它们包括：

• Option，这些选项与 Java 中的 null 松散相关；
• 关联列表是一种基于列表和元组的地图（又称字典）的惊人简单的实现方式；
• 代数数据类型，可以说是 OCaml 中最重要的类型，实际上也是许多其他内置类型背后的动力；
• 异常，它们是一种特殊类型的代数数据。