haskell - 'Const' 应用仿函数有什么用？

Question

我刚刚找到 Const在 Control.Applicative 的文档中，但我很难确定这在哪里有用，而不仅仅是使用 Monoid直接地。

我错过了什么？

Answer 1

与 Traversable 结合使用时相当有用.

getConst . traverse Const :: (Monoid a, Traversable f) => f a -> a

这是将一堆东西粘在一起的一般方法。这是使我确信值得分离 Applicative 的用例之一来自 Monad .我需要像广义 elem 这样的东西

elem :: Eq x => x -> Term x -> Bool

对 Traversable Term 进行发生检查通过自由变量的表示进行参数化。我一直在更改 Term 的表示形式我厌倦了修改无数的遍历函数，其中一些是在做累积，而不是有效的映射。我很高兴找到一个涵盖两者的抽象。