haskell - 我可以避免一遍又一遍地显式派生内置 Haskell 类型类吗？

Question

我在 Haskell 中有一个大型类型层次结构。
算上家庭实例，毕竟(可以)有单独的类成员，有数百 的 data类型。

由于最顶层的类型需要实现像 Generic,Eq,Ord,Show 这样的内置类。 ，层次结构中的每个单一类型也必须整体上有意义的实现。所以我的规范包含数百次 deriving (Generic,Eq,Ord,Show) ，我想避免弄乱文件。

一个涉及单个类型类的解决方案，如 deriving GEOS在一个集中的地方从那个自动派生到通常的集合已经对可读性有很大帮助。

Another question通过使用约束同义词来解决在约束中要求类似的简洁性(所以我的 GEOS 不仅链接到我想要的类，而且明确地由我想要的类组成)，但是 apparently当前阻止被实例化。

(我的一个附带问题是为什么会这样。在我看来，@simonpj gives 关于重命名器不知道类型检查器知道同义词真正是什么的原因似乎只适用于明确写出的实例实现。 )

也许 GHC.Generic本身(以及类似 generic-deriving 的东西)可以在这里提供帮助吗？

Answer 1

您当然可以使用模板 Haskell，将派生子句生成为 -XStandaloneDeriving .

{-# LANGUAGE QuasiQuotes #-}

module GEOSDerive where

import Language.Haskell.TH
import Control.Monad
import GHC.Generics

deriveGEOS :: Q Type -> DecsQ
deriveGEOS t = do
   t' <- t
   forM [ [t|Generic|], [t|Eq|], [t|Ord|], [t|Show|] ] $ \c -> do
      c' <- c
      return $ StandaloneDerivD Nothing [] (AppT c' t')

然后，

{-# LANGUAGE TemplateHaskell, StandaloneDeriving, QuasiQuotes, DeriveGeneric #-}

import GEOSDerive

data Foo = Foo

deriveGEOS [t|Foo|]

但是，我发现首先需要这么多类型，或者更确切地说，您有这么多类型，但每个类型的相关代码很少，以至于您为每个类型都提到这四个类而烦恼，这有点令人怀疑他们。与重构相关的事情并没有什么可担心的，所以我宁愿建议简单地保留 deriving (Generic, Eq, Ord, Show)对于他们每个人。