S'il vous plaît expliquer le type de synonymes

Question

Je suis en train d'apprendre si peut être c'est une question triviale.

Dans le code généré par l'outil d'échafaudage yessod Je trouve cette expression:

type YesodPersistBackend PersistTest = SqlPersist 

Ma compréhension est qu'il crée un type paramétré YesodPersistBackend qui a un argument de type PersistTest, ce qui est équivalent au type SqlPersist.

Est-ce correct? Si oui, pourquoi créer un synonyme de type avec des paramètres pour un type qui n'a pas de paramètres?

Answer 1

Ceci n'est pas une déclaration de type vanille. Si vous voyez le code complet, il ressemble à ceci -

instance YesodPersist PersistTest where 
    type YesodPersistBackend PersistTest = SqlPersist 

est d'utiliser une extension haskell98 appelé TypeFamilies. Lisez à propos de cette syntaxe spécifique ici - http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#assoc-type-instance