定义一个看似简单的可折叠实例

Question

此数据类型的可折叠实例是什么样的？

data X t = X t [X t]

我试过了：

instance Foldable X where
    foldMap f (X x xs) = f x `mappend` foldMap f xs

但得到了这个错误：

Occurs check: cannot construct the infinite type: a = X a
When generalising the type(s) for `foldMap'
In the instance declaration for `Foldable X'

Answer 1

xs是一个项目列表，foldMap需要应用于各个项目，而不是列表本身。使用map执行此操作会提供可与mconcat结合使用的结果列表：

instance Foldable X where
  foldMap f (X x xs) = f x `mappend` mconcat (map (foldMap f) xs)