Sauf que dans l'exemple que j'ai donné, le type mod4 n'est pas un sous type de even.
Je peux faire le même exemple avec :
class even(n: int) {
n % 2 = 0;
}
class mod3(n: int) {
n % 3 = 0;
}
Avec 6 qui fait partie des deux, et 9 qui fait partie que de mod3.
Après, tu peux le tourner dans tout les sens que tu veux pour essayer de lui assigner un type unique. Mais l'implémentation n'est pas faite comme ça. Donc ça ne sert un peu à rien.
[^] # Re: théorie des ensembles pas naives
Posté par David Delassus (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
Sauf que dans l'exemple que j'ai donné, le type mod4 n'est pas un sous type de even.
Je peux faire le même exemple avec :
Avec 6 qui fait partie des deux, et 9 qui fait partie que de mod3.
Après, tu peux le tourner dans tout les sens que tu veux pour essayer de lui assigner un type unique. Mais l'implémentation n'est pas faite comme ça. Donc ça ne sert un peu à rien.
https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg