Typeclassopedia 阅读笔记：导言与 Functor

Typeclassopedia 阅读笔记

本文是对介绍 Haskell 中类型类（type classes）的文档 Typeclassopedia 的阅读笔记和简短总结，包含此文档中重要的知识点。读者请配合原文档阅读使用。

注意事项

首先，Typeclassopedia 并非介绍 Haskell 基础的新手教程，假设读者已熟练掌握 Haskell 基础知识（Haskell 初学者推荐首先阅读 Learn You a Haskell for Great Good）。

笔者接触 Haskell 时间尚短，所作总结难免有所遗漏或偏颇，欢迎及时提出指正。对知识点的描述以 Typeclassopedia 中所述为准。

 

导言

成为一位 Haskell 专家的关键：

• 理解 Haskell 中众多的类型。
• 熟悉众多例子，对 Haskell 中的每一个类型类以及彼此之间的关系构建起较深的直觉。

Typeclassopedia 为想要深入了解 Haskell 的人提供一个良好的起点，但读者需要经过不断地努力才可熟练掌握。

 

Haskell 的 type classes 结构示意图

具体解释请参考原文。

 

Functor

Functor，即函子，是 Haskell 中普遍存在的、最基本的类型类。你可以用以下两种方式来理解 Functor:

• 它代表某种容器，该容器能够将某一函数应用到其每一个元素上。
• 它代表某种“可计算上下文”（computational context）。

我们试着分别用以上两种方法来理解列表：

• 列表是一种容器。通过 map，我们可以将一函数 f 应用到其每一个元素上。
• 列表代表一种未确定（non-deterministic）上下文——你可以其视为一个单一值，只是该值目前尚未从其可能的值（即该列表的所有元素）中选择出来。

同样，Maybe 也可以用两种方式来理解：

• Maybe 是一种能够容纳一个元素（Just a）或没有元素（Nothing）的容器。
• Maybe 代表一种可能失败的上下文。

总结而言，第一种方式更加具体和易于理解，然而缺乏普遍性。第二种方式通用性更强，但因其抽象性，可能需要一定的时间来理解。

即便如此，依然会存在某些 Functor 用以上两种途径都难以描述。因此理解 Functor 不能单纯通过类推，而是需要依靠理解其定义、阅读大量例子来获得准确的印象。

定义

Functor 定义如下：

class Functor f where

  fmap :: (a -> b) -> f a -> f b

由 f a 和 f b 我们可知，f 不是类型，而是类型构造器（type constructor），即 f 应接受另一类型作为参数并返回一个具体的类型（更精准的表达则是 f 的 kind 必须是 * -> *）。

显然是可行的，但 则错误（因为 ）。

实例

上文提到的 List 和 Maybe 的 Functor 实例（instances）：

instance Functor [] where

  fmap _ []     = []

  fmap g (x:xs) = g x : fmap g xs

  -- 或者可以直接 fmap = map

 

instance Functor Maybe where

  fmap _ Nothing  = Nothing

  fmap g (Just a) = Just (g a)

下面再列举一些 Functor：

原文里提到的Control.Monad.Instances 在新的版本里已被移除，这些都已作为基础设施被默认实现。

• Either e 代表可以包含两种类型元素任意之一的容器（Right 或 Left e）。它和 Maybe 较为类似，两者都可以表示不能正常获得值时的错误，但 Either e 可以保存错误的额外信息。
• ((,) e) 代表可容纳一个元素、以及对该元素的某种注释信息的容器（本质上是类型为 (e, a) 的二元组）。将其写法转换为 (e,) 更易理解（考虑类比 (1+)），这样的类型声明语法需要开启扩展 TupleSections 才可通过编译。
• ((->) e)，即可接受一个类型为 e 的值作为参数的函数类型，同样也是一个 Functor。以容器的观点看，它表示一个（可能无限元素的）容器，元素类型为 a，获取元素的索引的类型为 e。更有用的方式是将其理解为一个能够以类型为 e 的值、以只读方式来查询的上下文。这也是 ((->) e) 有时被称作 read monad 的原因（详细内容将在之后讲解）。
• IO 是一种 Functor，代表可以产生出类型为 a 的值的计算，该过程中可能伴随 I/O effects（或称 side effects，副作用）。
• 除此之外，其他许多容器库中的标准类型（比如 Tree、Map 和 Sequence）都是 Functor。为数不多的反例为 Set。

Typeclassopedia 法则

已经被作为 Functor 的 instance 的类型不一定就是一个 Functor。每一个有意义的 Functor 必须遵守以下 Functor 法则：

fmap id = id

fmap (g . h) = (fmap g) . (fmap h)

• 1
• 2

该法则的目的是为了确保 fmap 函数在应用到 Functor 时不会改变该 Functor 容器的结构——或者说不会改变 Functor 的上下文。

某些通过编译器检查的 Functor instance 也可能是无效的 Functor，比如：

-- Evil Functor instance

instance Functor [] where

  fmap _ [] = []

  fmap g (x:xs) = g x : g x : fmap g xs

 

如此会导致 Functor 在大量情境下丧失其正确的语义，因此必须小心避免。

Functor 有一些很有意思的特征：

• 每一个类型至多有一个与其对应的 Functor instance（且已通过 free theorem 的证明）。
• GHC 能够为许多类型自动创建出正确的 Functor。
• 任何满足第一条 Functor 法则的类型一定满足第二条法则（在不考虑 seq 和 undefined 的前提下）。

理解

你可以用两种方式来理解 fmap。第一种方式已经提到过了：传入两个参数，一个函数和一个容器，将这个函数应用到该容器所有的元素中，提供一个新的容器——或者说将一个函数应用到该 Functor 的上下文中的值，且不改变该 Functor 的上下文。

因为 Haskell 中的函数都是科里化的（curried），fmap 的类型可写为 fmap :: (a -> b) -> (f a -> f b)。以这种形式，我们还可以将 fmap 的作用理解为转换一个普通的函数到一个可以操作容器/内容的函数 (fmap g :: f a -> f b)。这一过程被称为“提升”（lift），即将一个函数从“普通的世界”提升到“f 类型的世界”。