haskell - 为什么没有办法在 Haskell 中推导出 Applicative Functor？

Question

在 Haskell 中，您可以推导出 Functor , Foldable和 Traversable自动使用 deriving .没有办法推导出Applicative ， 尽管。考虑到有一种明显的方法来定义 Applicative实例(相当于一个压缩应用程序)，没有任何方法可以启用deriving Applicative ?

Answer 1

不，这一点都不明显。比较以下 Applicative实例:

[]

ZipList

Data.Sequence.Seq ，其 Applicative instance declaration运行到几百行。

IO

(->) r

parsec 中的解析器, attoparsec , regex-applicative .

Proxy在 pipes包裹。

这里几乎没有统一性，而且大多数情况都是不明显的。

如 David Young comments , []和 ZipList实例“最终都是两个不同的、同样有效的 Applicative 列表类型的实例。”