“派生函数器”到底是做什么的？
“派生函数器”到底是做什么的？
提问于 2013-12-03 04:15:29
我正在尝试弄清楚deriving Functor在Haskell中的具体规则是什么。
我见过message postings，也见过test code，但我似乎找不到有关规则的官方文档。有没有人能给我澄清和/或指出正确的地方？
回答 2
Stack Overflow用户
发布于 2013-12-03 04:27:32
要使用deriving Functor，您必须启用DeriveFunctor语言杂注，并将其应用于具有协变最终类型变量的多态类型-换句话说，接受有效Functor实例的类型。然后，它将派生出“显而易见的”Functor实例。
在过去，有人担心派生实例没有手工编码的实例那么有效，尽管我似乎找不到这种材料。
据我所知，算法本身是first proposed by Twan Van Laarhoven in 2007的，并且大量使用了泛型Haskell编程。
Stack Overflow用户
发布于 2017-06-20 23:34:35
不幸的是，实际做这件事的代码有点多毛。我认为这在很大程度上是因为较早、较简单的代码有时会导致过多的编译时间。Twan van Laarhoven提出了当前的代码来解决这个问题。
派生的Functor实例总是做显而易见的事情。这通常是很好的，但偶尔会错过机会。例如，假设我写道
data Pair a = Pair a a deriving Functor
data Digit a = One a | Two a a deriving Functor
data Queue a =
Empty
| Single a
| Deep !(Digit a) (Queue (Pair a)) !(Digit a) deriving Functor这将生成(在GHC 8.2中)
instance Functor Queue where
fmap ...
x <$ Empty = Empty
x <$ Single y = Single x
x <$ Deep pr m sf = Deep (x <$ pr) (fmap (x <$) m) (x <$ sf)最后一种情况可以手工编写得更好：
x <$ Deep pr m sf = Deep (x <$ pr) (Pair x x <$ m) (x <$ sf)您可以使用-ddump-deriv查看实际的派生代码。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/20336987
复制相关文章
相似问题