Hum je crois qu'il existe plus ou moins des encodages de chacun des systèmes de types dans l'autre, donc non, l'un n'est pas plus puissant que l'autre.
En gros les class-types s'encodent avec les foncteurs et réciproquement.
Maintenant les foncteurs sont assez lourds à utiliser...
(mais les class-types rajoutent du code runtime)
[^] # Re: Et par rapport à OCaml ?
Posté par Laurent Vibert . En réponse au journal Sortie du livre Real World Haskell. Évalué à 1.
En gros les class-types s'encodent avec les foncteurs et réciproquement.
Maintenant les foncteurs sont assez lourds à utiliser...
(mais les class-types rajoutent du code runtime)