Dans ton exemple, OCaml croit que l'on ne peut pas additionner des nombres pairs, ce qui est complètement faux.
Ce n'est pas du tout une remise en cause. La partie conceptuelle m'intéresse mais uniquement comme lecteur. Comment en letlang on distingue qu'on a le droit d'additionner des nombre paire avec des nombres impaires, mais pas des carottes avec des minutes ?
[^] # Re: théorie des ensembles pas naives
Posté par barmic 🦦 . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 4.
Ce n'est pas du tout une remise en cause. La partie conceptuelle m'intéresse mais uniquement comme lecteur. Comment en letlang on distingue qu'on a le droit d'additionner des nombre paire avec des nombres impaires, mais pas des carottes avec des minutes ?
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll