首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >为什么GHC不能为Monoid派生实例?

为什么GHC不能为Monoid派生实例?
EN

Stack Overflow用户
提问于 2012-06-23 07:15:30
回答 2查看 2.5K关注 0票数 20

GHC有一些语言标志,如DeriveFunctorDeriveDataTypeable等,它们允许编译器为Haskell98中允许的类型类以外的类型类生成派生实例。这对于Functor这样的东西尤其有意义,因为该类的规则规定了一个明显的、“自然”的派生实例。

那么,为什么Monoid不能呢?它似乎适用于任何只有一个数据构造函数的数据类型:

data T = MkT a b c ...

可以机械地生成一个Monoid实例(请原谅伪代码):

instance (Monoid a, Monoid b, Monoid c, ...) => Monoid T where
  mempty =
    MkT mempty mempty mempty ...
  mappend (MkT a1 b1 c1 ...) (MkT a2 b2 c2 ...) =
    MkT (mappend a1 a2) (mappend b1 b2) (mappend c1 c2) ...

我知道derive包是provides this的,但我特别想问的是,是否有原因导致GHC不这样做。

EN

回答 2

Stack Overflow用户

回答已采纳

发布于 2012-06-24 02:00:08

不能导出Monoid确实是一个武断的决定,但是么半群也是非常普遍的,所以通常有很多方法来使一个类型成为么半群。下面是一个例子:

data T = A | B | C deriving (Eq, Ord, Enum)

type Mon a = (a, a -> a -> a)

m1, m2, m3, m4 :: Mon T
m1 = (A, max)
m2 = (C, min)
m3 = (A, \ x y -> toEnum $ (fromEnum x + fromEnum y) `rem` 3)
m4 = (B, f4)
f4 A _ = A
f4 B x = x
f4 C _ = C

这展示了使T成为么半群的四种合理方法( Mon包含单位和二元运算)。第一个是取最大值的么半组,第二个是取最小值的么半组,第三个是模3算术中的么半组,第四个是用于Ordering类型的么半组。没有什么比自然的方式更突出了。

票数 17
EN

Stack Overflow用户

发布于 2012-06-23 09:35:58

您可以对Num和其他一些类提出同样的要求。这将是无关紧要的:所有其他标准派生都适用于具有多个构造函数的数据类型。

作为替代,您可以使用新类型派生newtype T = MkT (a,b,c) deriving Monoid

类似的扩展:您可以使空数据类型成为几乎所有类型类的实例。

deriving子句始终是Haskell中临时且不方便的部分,因为它只适用于预定义的类。添加更多的ad-hoc扩展会使语言变得复杂。相反,GHC最近获得了对generic deriving的支持。

票数 8
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/11165316

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档