web-dev-qa-db-fra.com

Obtenir des synonymes de types associés avec le modèle Haskell

Template Haskell peut-il connaître les noms et/ou les déclarations des synonymes de type associés déclarés dans une classe de type? Je m'attendais à ce que reify fasse ce que je veux, mais il ne semble pas fournir toutes les informations nécessaires. Cela fonctionne pour obtenir des signatures de type de fonction:

% 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)))])
       []

Cependant, l'ajout d'un synonyme de type associé à la classe n'entraîne aucun changement (jusqu'à renommer) dans la sortie:

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)))])
       []

Si je connais le nom de F, je peux rechercher des informations à ce sujet:

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

Mais je ne trouve pas le nom de F en premier lieu. Même si j'ajoute une instance de la classe type, le InstanceD n'a aucune information sur la définition:

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)))
                  []]

Si reify ne fonctionne pas, existe-t-il une solution de contournement, autre que la liste manuelle des synonymes de type associé?

Ce problème est présent dans GHC 7.8.3 avec la version 2.9.0.0 du package template-haskell; il était également présent dans GHC 7.4.2 avec la version 2.7.0.0 du package template-haskell. (Je n'ai pas vérifié GHC 7.6. *, Mais j'imagine qu'il y était aussi.) Je suis intéressé par des solutions pour n'importe quelle version de GHC (y compris "cela n'a été corrigé que dans la version GHC [~ # ~] v [~ # ~] ").

haskelltemplate-haskelltype-familiesreifyassociated-types
254
Antal Spector-Zabusky

Il n'est pas implémenté car personne ne l'a demandé.

La chose étrange est que TH utilise son propre AST, qui ne suit pas l'AST du compilateur interne. Par conséquent, toute nouvelle fonctionnalité (par exemple les familles de types associées) n'est pas automatiquement disponible via TH. Certains il faut ouvrir un ticket et l'implémenter.

Pour la référence: interne reifyClass fonction ignore familles de types associées (c'est le 5ème élément du Tuple retourné par classExtraBigSig , voir aussi définition de ClassATItem .)

Techniquement, il devrait être facile d'implémenter la prise en charge de la famille de types associée dans reify, mais cela nécessitera très probablement des modifications incompatibles en amont dans TH API, par exemple parce que son AST ne semble pas prendre en charge les valeurs par défaut des types associés.

Ajouté: Il est désormais implémenté (sans changement API btw) et sera probablement disponible dans le prochain ghc Libération.

13
Yuras