GHC有一些语言标志,如DeriveFunctor
、DeriveDataTypeable
等,它们允许编译器为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不这样做。
发布于 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
类型的么半组。没有什么比自然的方式更突出了。
发布于 2012-06-23 09:35:58
您可以对Num
和其他一些类提出同样的要求。这将是无关紧要的:所有其他标准派生都适用于具有多个构造函数的数据类型。
作为替代,您可以使用新类型派生newtype T = MkT (a,b,c) deriving Monoid
。
类似的扩展:您可以使空数据类型成为几乎所有类型类的实例。
deriving
子句始终是Haskell中临时且不方便的部分,因为它只适用于预定义的类。添加更多的ad-hoc扩展会使语言变得复杂。相反,GHC最近获得了对generic deriving的支持。
https://stackoverflow.com/questions/11165316
复制相似问题