haskell - 为什么 Data.Tree.Tree 没有幺半群实例？

Question

我意识到答案可能是存在多个有效的此类实例(例如整数；总和、乘积……的情况)。也许有人有比这更令人满意的答案？

正如 Joachim Breitner 在此答案中出色地解释的那样 How do you implement monoid interface for this tree in haskell?任何应用程序都有一个幺半群实例:

mempty :: Applicative f => Monoid a => f a
mempty = pure mempty

mappend :: Applicative f => Monoid a => f a -> f a -> f a
mappend f g = mappend <$> f <*> g

所以我想知道为什么 Data.Tree.Tree来自 containers没有这样的实例吗？相同的参数可以用于没有伴随的 monoid 实例的任何其他 monad。他们应该有这样的例子对我来说似乎很自然。也许事实并非如此。我希望有人能启发我。

我想另一个原因可能是我为树提出的实例并不“有用”。在我看来，这与多个有效实例的论点一样令人不满意。

Answer 1

我不知道为什么它不可用。但是，您建议的实例可通过 Ap 一劳永逸地获得。 newtype，它提供了一个 instance (Applicative f, Monoid m) => Monoid (Ap f m) .所以如果你需要你写的实例，你可以用这个得到它，即使它不存在于裸 Tree 上。类型。