Pour ce qui est des énumérations, ca n'a rien a voir avec les types sommes (qui sont géniaux, par ailleurs).
A mon avis le souci est précisément sémantique. Dans les deux familles de langages que je connais (C et Java), les enum sont précisement des sous-ensembles finis en bijection avec un sous-ensemble de N (assez similaire avec le souvenir que j'ai des types sommes en OCaml). Alors si les enums en OCaml+Batterie ont une sémantique totalement différente (semblable aux Streams en Scala), faut pas s'étonner des incompréhensions.
[^] # Re: Surpris
Posté par Sufflope (site web personnel) . En réponse au journal Quelques projets intéressants en OCaml. Évalué à 1.
A mon avis le souci est précisément sémantique. Dans les deux familles de langages que je connais (C et Java), les enum sont précisement des sous-ensembles finis en bijection avec un sous-ensemble de N (assez similaire avec le souvenir que j'ai des types sommes en OCaml). Alors si les enums en OCaml+Batterie ont une sémantique totalement différente (semblable aux Streams en Scala), faut pas s'étonner des incompréhensions.