purescript - 可折叠树型， "value of instance is undefined here, so this reference is not allowed"

Question

定义如下简单的树结构后

data Tree a = Leaf | Branch (Tree a) a (Tree a)

我尝试定义一个 Foldable例如，仅定义 foldMap并使用 foldrDefault和 foldlDefault职能:

instance treeFoldableInstance :: Foldable Tree where
  foldr = foldrDefault
  foldl = foldlDefault
  foldMap f Leaf = mempty
  foldMap f (Branch left a right) = foldMap f left <> (f a) <> foldMap f right

然而，这会导致:

The value of treeFoldableInstance is undefined here, so this reference is not allowed.

当我定义 foldl和 foldr明确地，它编译。这个错误的文档告诉我关于懒惰，但这如何适用于这里？

Answer 1

这是因为使用了 foldlDefault和 foldrDefault需要您正在尝试构建的字典，并且由于 PureScript 被严格评估，这是不可能的。

可能最简单的解决方法是尝试以下方法:

instance treeFoldableInstance :: Foldable Tree where
  foldr f = foldrDefault f
  foldl f = foldlDefault f
  foldMap f Leaf = mempty
  foldMap f (Branch left a right) = foldMap f left <> (f a) <> foldMap f right

通过 eta 扩展 foldr和 foldl定义，它会延迟自引用，因为脱糖后的代码变得类似于:

foldr = \f -> foldrDefault treeFoldableInstance f

所以引用 treeFoldableInstance仅在 f 之后评估传入，而不是在 treeFoldableInstance 的声明期间.