haskell - Haskell 中的基本仿函数

Question

我知道 Functor 类型类是这样定义的:

class Functor f where  
    fmap :: (a -> b) -> f a -> f b  

在我的类(class)中，它说这就是将列表制作为仿函数实例的方式:

instance Functor [] where  
    fmap = map  

是[] a [a] 的某种同义词？

Answer 1

Is [] a some kind of synonym for [a]

是的，正是如此。这两种类型之间没有区别:后者只是前者的漂亮表示法。

在 Haskell 中，所有类型都遵循语法 T arg1 arg2 ...，其中 T 是某种类型构造函数，但其​​中一些类型也有漂亮的硬编码符号为人类提供便利的语言。以下是一些:

a -> b   means (->) a b
[a]      means [] a
(a,b)    means (,) a b
(a,b,c)  means (,,) a b c
... ditto for other tuple types

因此，我们可以找到一个仿函数实例，例如 instance Functor ((->) a)，其 fmap 具有类型

(x -> y) -> ((->) a x) -> ((->) a y)

也可以写

(x -> y) -> (a -> x) -> (a -> y)

这样的fmap只是函数组合，即fmap = (.)。