260

模板 Haskell 可以找出类型类中声明的关联类型同义词的名称和/或声明吗？我希望reify会做我想做的事，但它似乎并没有提供所有必要的信息。它适用于获取函数类型签名：

% ghci
GHCi, version 7.8.3: http://www.haskell.org/ghc/  :? for help
...
Prelude> -- I'll be inserting line breaks and whitespace for clarity
Prelude> -- in all GHCi output.
Prelude> :set -XTemplateHaskell 
Prelude> import Language.Haskell.TH
Prelude Language.Haskell.TH> class C a where f :: a -> Int
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C)
ClassI (ClassD [] Ghci1.C [PlainTV a_1627398388] []
               [SigD Ghci1.f
                     (ForallT [PlainTV a_1627398388]
                              [ClassP Ghci1.C [VarT a_1627398388]]
                              (AppT (AppT ArrowT (VarT a_1627398388))
                                    (ConT GHC.Types.Int)))])
       []

但是，向类添加关联的类型同义词不会导致输出中的任何更改（直到重命名）：

Prelude Language.Haskell.TH> :set -XTypeFamilies 
Prelude Language.Haskell.TH> class C' a where type F a :: * ; f' :: a -> Int
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C')
ClassI (ClassD [] Ghci3.C' [PlainTV a_1627405973] []
               [SigD Ghci3.f'
                     (ForallT [PlainTV a_1627405973]
                              [ClassP Ghci3.C' [VarT a_1627405973]]
                              (AppT (AppT ArrowT (VarT a_1627405973))
                                    (ConT GHC.Types.Int)))])
       []

如果我知道 的名称F，我可以查找有关它的信息：

Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''F)
FamilyI (FamilyD TypeFam
                 Ghci3.F
                 [PlainTV a_1627405973]
                 (Just StarT))
        []

但我一开始就找不到名字F。即使我添加了类型类的实例，InstanceD也没有关于定义的信息：

Prelude Language.Haskell.TH> instance C' [a] where type F [a] = a ; f' = length
Prelude Language.Haskell.TH> f' "Haskell"
7
Prelude Language.Haskell.TH> 42 :: F [Integer]
42
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C')
ClassI (ClassD [] Ghci3.C' [PlainTV a_1627405973] []
               [SigD Ghci3.f'
                     (ForallT [PlainTV a_1627405973]
                              [ClassP Ghci3.C' [VarT a_1627405973]]
                              (AppT (AppT ArrowT (VarT a_1627405973))
                                    (ConT GHC.Types.Int)))])
       [InstanceD []
                  (AppT (ConT Ghci3.C')
                        (AppT ListT (VarT a_1627406161)))
                  []]

如果reify不起作用，除了手动列出关联类型同义词之外，是否有解决方法？

这个问题存在于 GHC 7.8.3 和 2.9.0.0 版本的 template-haskell 包中；它也存在于 GHC 7.4.2 中，带有 template-haskell 包的 2.7.0.0 版本。（我没有检查 GHC 7.6.*，但我想它也存在。）我对任何版本的 GHC 的解决方案感兴趣（包括“这仅在 GHC 版本V中修复”）。

4

1 回答 1

15

它没有实施，因为没有人要求它。

奇怪的是 TH 使用自己的 AST，它不遵循内部编译器的 AST。因此，任何新功能（例如关联的类型族）都不能通过 TH 自动获得。有些人必须打开一张票并实施它。

供参考：内部reifyClass函数忽略关联的类型族（它是由返回的元组的第 5 个元素classExtraBigSig，另请参见 的定义ClassATItem。）

从技术上讲，在 中实现关联类型族支持应该很容易reify，但很可能需要在 TH API 中进行向后不兼容的更改，例如因为它的 AST 似乎不支持关联类型默认值。

补充：它现在已经实现（顺便说一句没有 API 更改）并且可能会在下一个ghc版本中可用。

于 2015-09-17T10:34:47.217 回答