Tu peux dans ce cas probablement définir un type unique de la manière suivante : le type de ton objet est le type de l’intersection de toutes les spécification des types qu’il peut remplir.
la constante 8 serait alors l’intersection des types int, even et mod4, donc de type mod4 puisque c’est un sous type strict des 2 et que even est un sous type de int.
Ça signifie que 8 peut être utilisé à la fois partout ou on attend un entier, un nombre pair ou un multiple de 4.
[^] # Re: théorie des ensembles pas naives
Posté par thoasm . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
Tu peux dans ce cas probablement définir un type unique de la manière suivante : le type de ton objet est le type de l’intersection de toutes les spécification des types qu’il peut remplir.
la constante 8 serait alors l’intersection des types int, even et mod4, donc de type mod4 puisque c’est un sous type strict des 2 et que even est un sous type de int.
Ça signifie que 8 peut être utilisé à la fois partout ou on attend un entier, un nombre pair ou un multiple de 4.