De ce point de vue de là, les objets de Letlang ont un type unique.
Bah non, toujours pas, vu que Letlang défini un type comme étant une collection d'objet, et spécifie bien qu'un objet peut appartenir à plusieurs collections différentes.
Je reprend un exemple donné dans un autre commentaire:
class even(n: int) {
n % 2 = 0;
}
class mod4(n: int) {
n % 4 = 0;
}
L'objet 8 respecte donc tout les type-checks suivants:
assert 8 is number;
assert 8 is int;
assert 8 is even;
assert 8 is mod4;
[^] # 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.
Bah non, toujours pas, vu que Letlang défini un type comme étant une collection d'objet, et spécifie bien qu'un objet peut appartenir à plusieurs collections différentes.
Je reprend un exemple donné dans un autre commentaire:
L'objet
8respecte donc tout les type-checks suivants:https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg