Types/Types Confusion dans Haskell (peut-être) dans les types de données algébriques

Question

J'ai travaillé sur la construction de mon propre simulateur Diplomacy dans Haskell pour me mouiller les pieds.

Je crois que je suis venu avec une définition convenable pour quel ordre est:

data Order = Hold Unit Territory 
      | Move Unit Territory Territory 
      | Support Unit Territory Unit Territory Territory 
      | Convoy Fleet Territory Army Territory Territory 
    deriving (Eq, Show) 

Pour ceux qui ne connaissent pas le jeu, les commandes sont écrites sous la forme de « Hold flotte London », "Move Fleet London Canal anglais", "Flotte de soutien flotte de la Manche de l'Atlantique Nord Atlantique Nord" ou "Convoi Flotte de la Manche de l'armée anglaise Londres Brest", etc

Maintenant, avec la définition de l'unité comme data Unit = Fleet | Army (deriving Eq, Show), I ' Je reçois l'erreur Not in scope: type constructor or class 'Fleet' en ce qui concerne ma définition de l'ordre.

Pourquoi est-ce? Comment puis-je écrire mes définitions d'unités ou d'ordres (ou devrais-je faire quelque chose de différent) qui me permet d'exiger que le premier argument de Convoy soit une flotte et le troisième argument soit une armée? Est-ce que je ne suis pas "faux" avec mon approche de ce problème? Dois-je aborder cela dans ma fonction de validation (parce qu'il n'y a pas moyen de spécifier uniquement des commandes valides via Haskell, pour autant que je sache, c'est expressif mais pas si expressif)? J'ai déjà essayé d'utiliser "DataKinds", mais cela ne m'a pas aidé du tout (malgré le post-scriptum d'erreur suggérant de le faire, alors encore une fois, les postscript de l'erreur Haskell suggèrent beaucoup de choses, donc je doute que je doive payer trop y prêter attention).

Answer 1

data Unit = Fleet | Army 

Unit est un type. Ses valeurs peuvent être Fleet ou Army - ce ne sont pas des types.

data Order = Hold Unit Territory 
      | Move Unit Territory Territory 
      | Support Unit Territory Unit Territory Territory 
        ^^^^   ^^^^ 

Ce sont des types - OK.

  | Convoy Fleet Territory Army Territory Territory 
        ^^^^^   ^^^^ 

Ce sont des valeurs - pas OK. La ligne ci-dessus est assez similaire à

  | Convoy "hello" Territory 42 Territory Territory 

ce qui n'a aucun sens.

Vous pourriez simplement vouloir utiliser

  | Convoy Territory Territory Territory 

mais je ne suis pas familier avec le jeu, donc je ne sais pas ce que vous avez réellement besoin là-bas.

Aussi, oubliez avec les typeclasses et l'extension DataKinds - n'utilisez pas les trucs avancés sauf si vous en avez vraiment besoin.

---

Comme une autre option, si vous avez l'intention d'ajouter des champs à Fleet et Army, est de les transformer en types

data Fleet = F String Int -- dummy fields, you can put none 
data Army = A 
data Unit = FleetUnit Fleet | ArmyUnit Army -- added the types here 
data Order = Hold Unit Territory 
      | Move Unit Territory Territory 
      | Support Unit Territory Unit Territory Territory 
      | Convoy Fleet Territory Army Territory Territory 

Maintenant, la dernière ligne est ok. Le prix pour cela est que vous devez utiliser plus de constructeurs "wrapping" pour construire une commande, par ex.

orderExample1 :: Order 
orderExample1 = Convoy (F "test" 33) terr1 A terr2 terr3 

orderExample2 :: Order 
orderExample2 = Support (FleetUnit (F "test2" 55)) terr1 (ArmyUnit A) terr2 terr3 

Au-dessus, F ... construit un Fleet, puis FleetUnit ... il se transforme en un Unit, et enfin Support ... tourne que dans un Order.