在 Purescript 中为 NonEmpty 编写 Functor 实例与编写 Eq 实例

Question

我目前正在通过阅读Purescript by Example书来学习 Purescript （迄今为止我发现的唯一涵盖该语言的资源之一）。

我正在尝试实现第 6.7 节（实例依赖性）中的练习，但我无法理解以下编译器错误：

我已经为数据类型实现了 Semigroup 和 Eq 实例，data NonEmpty a = NonEmpty a (Array a)如下所示：

instance eqNonEmpty :: Eq a => Eq (NonEmpty a) where
  eq (NonEmpty h1 t1) (NonEmpty h2 t2) = h1 == h2 && t1 == t2


instance semigroupNonEmpty :: Semigroup (NonEmpty a) where
  append (NonEmpty h1 t1) (NonEmpty h2 t2) = NonEmpty h1 (t1 <> [h2] <> t2)

但是当我尝试以同样的方式实现 Functor 实例时，我得到了上面的错误。似乎有效的是：

instance functorNonEmpty :: Functor NonEmpty where
  map f (NonEmpty h t) = NonEmpty (f h) (map f t)

现在，这是为什么呢？我想不通。谢谢！

Answer 1

这就是Functor类的定义方式：它适用于带参数的类型。因此，例如，Functor该类将适用于Maybe和List，但不适用于Int或String，同样不适用于Maybe Int或List String。

该类型NonEmpty确实带有一个参数，因为它是这样定义的：

data NonEmpty a = ...

但类型NonEmpty a不会不带一个参数，不管是什么a可能。

而另一方面，类Eq和Semigroup期望一个没有任何参数的类型。因此，这些类可以适用于Int，String，Maybe Boolean，和任何其他类型的无参数，包括NonEmpty a，不管是什么a可能。