PureScript 示例（自定义可折叠）

Question

目前我正在阅读PureScript by example 的书，并对其中一个练习有疑问：

第 6 章，本章末尾的练习 5。

Write a Foldable instance for NonEmpty. Hint: resuse the foldable instance for arrays.
data NonEmpty a = NonEmpty a (Array a)

我最初的想法是这样实现它：

instance foldableNonEmpty :: Foldable (Array (a)) => Foldable (NonEmpty a) where
  foldr f b (NonEmpty a ar) = NonEmpty a (foldr f b ar)
  foldl f b (NonEmpty a ar) = NonEmpty a (foldl f b ar)
  foldMap m (NonEmpty a ar) = NonEmpty a (foldMap m ar)

但这不起作用，目前我不知道为什么（编译器错误帮不了我）

Could not match kind
  Type -> Type
with kind
  Type

while checking the kind of Foldable (Array a) => Foldable (NonEmpty a)

在值声明中 foldableNonEmpty

有人能指出我应该朝哪个方向挖掘以找到答案吗？

Answer 1

错误消息是说Foldable 期望接收一个类型构造函数（Type -> Type），但你给它一个具体类型（Type）。例如：Maybe 和 Array 是类型构造函数； Maybe a 和 Array a 是具体类型。在您的情况下，NonEmpty a 是具体类型。我相信你现在知道如何解决它了。

此外，您的实现也是错误的。 foldr 的类型是

foldr :: forall a b. (a -> b -> b) -> b -> f a -> b

您应该返回一个类型为 b 的值，但您返回的是一个类型为 f a 的值，在您的情况下为 NonEmpty a。

我把我的答案留在this link，以防你仍然无法弄清楚。