Ce Somme c'est une "fonction", au niveau des types. On lui donne deux types et elle en construit le type somme. Haskell permet > aussi de faire des choses du genre :
Pour celles et ceux qui ne font pas de Haskell foobarbazz parle du second "Somme". Il faut distinguer le constructeur de type (le 1er) du constructeur de valeur (le 2nd). En outre, les deux n'ont pas forcément le même nom.
[^] # Re: À propos du coté algébrique des ADT
Posté par neo2500 . En réponse à la dépêche Sortie de GHC 8.0.2 et une petite histoire de typage statique. Évalué à 3. Dernière modification le 31 janvier 2017 à 13:59.
Pour celles et ceux qui ne font pas de Haskell foobarbazz parle du second "Somme". Il faut distinguer le constructeur de type (le 1er) du constructeur de valeur (le 2nd). En outre, les deux n'ont pas forcément le même nom.