文章

Get Programming with Haskell-19

正如类型类通常比面向对象编程中的接口更抽象一样，参数化类型在大多数语言中扮演着比泛型更大的角色。本课介绍了一个重要的参数化类型：Maybe。与表示值容器的 List 或 Map 不同，Maybe 是你将看到的许多表示值上下文的类型中的第一个。Maybe 类型表示可能缺失的值。在大多数语言中，缺失的值用 null 值表示。通过使用表示可能缺失的值的上下文，Maybe 类型允许你编写更安全的代码。由于 Maybe 类型的强大功能，与空值相关的错误会从 Haskell 程序中系统地移除。