Haskell/库

Haskell 拥有丰富且不断增长的库集。它们分为几类

• 标准 Prelude（通常简称为“Prelude”）在 Haskell 2010 标准 中定义，并自动导入到您编写的每个模块中。它定义了标准类型，如字符串、列表、数字以及对这些类型的基本函数，如算术运算、map 和 foldr。

• 标准库也在语言标准中定义，但您需要在需要时导入它们。这些库的规范也可以在 Haskell 2010 标准中找到。

• 自 1998 年以来，标准库一直在逐步扩展，由此产生的实际标准称为 Base 库。Hugs 和 GHC 都可以使用相同的集合。

• 其他库可能与各种编译器捆绑在一起。特别是，GHC 包含了一些常用的库，包括重要的包，如 containers、text 和 bytestring。

• 许多其他库可以从 Hackage 获得，可以使用 cabal 工具安装。

当 Haskell 98 标准化时，模块被赋予了一个扁平的命名空间。事实证明这不够用，通过在模块名称中允许使用点，添加了一个分层命名空间。为了向后兼容，标准库仍然可以通过其非分层名称访问，因此模块 List 和 Data.List 都指的是标准列表库。

有关如何将库导入程序的详细信息，请参阅 模块 一章。有关用于打包 Haskell 软件的 Cabal 系统的说明，请参阅 Haskell/打包。

Haddock 文档

库参考文档通常使用 Haddock 工具生成。与 GHC 捆绑在一起的库以这种方式记录。您可以 在线 查看文档，如果您已安装 GHC，那么应该也有本地副本。

Haddock 生成超链接文档，因此每次您看到函数、类型或类名时，都可以单击它以转到定义。可用库的丰富程度可能会让人望而生畏，因此本教程将重点介绍一些亮点。

请注意，Haddock 通过实例交叉引用类型和类。例如，在 Data.Maybe 库中，Maybe 数据类型被列为 Ord 的实例

Ord a => Ord (Maybe a)

如果您声明类型 Foo 是 Ord 的实例，那么类型 Maybe Foo 也将自动成为 Ord 的实例。如果您在文档中单击单词 Ord，那么您将被带到 Ord 类的定义及其（很长的）实例列表。Maybe 的实例也会在那里。