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 类型的世界”。

 

https://blog.csdn.net/sinat_25226993/article/details/44063429

posted @ 2018-06-07 19:37  zzfx  阅读(250)  评论(0编辑  收藏  举报