Summary

列表是 OCaml 中非常有用的内置数据结构。该语言提供了一种轻量级的语法来构建它们，而不是要求您使用库。访问列表的部分利用了模式匹配，这是一个非常强大的特性（正如您可能从其相当冗长的语义中期待的那样）。随着课程的进行，我们将看到模式匹配的更多用途。

这些内置列表是作为单链表实现的。当您的需求超出小到中等大小的列表时，这一点很重要。在长列表上使用递归函数将占用大量堆栈空间，因此尾递归变得重要。如果您尝试处理非常庞大的列表，您可能根本不想使用链表，而是使用一种能更好地利用内存局部性的数据结构。

OCaml 提供了变体（一种类型）、元组和乘积（每种类型）以及选项（可能类型）的数据类型。模式匹配可用于访问这些数据类型的值。模式匹配可用于 let 表达式和函数中。

关联列表结合了列表和元组，创建了字典的轻量级实现。

变体是一种强大的语言特性。它们是在函数式语言中表示数据的主力军。OCaml 变体实际上将几个理论上独立的语言特性合并为一个：和类型、积类型、递归类型以及参数化（多态）类型。其结果是能够表达许多种类的数据，包括列表、选项、树甚至异常。

术语和概念