Mieux, chaque donnée a une classification (non plusieurs), donc on voit tout de suite qu'une définition ensembliste ne s'accorderait pas à la réalité.
C'est trivialement faux en POO ou dans tous les systèmes de typages dans lesquelles on a des sous types : uns donnée d'un certain type à aussi le type des types parents. Pour le typage structurel aussi, et ça reste du typage : une donnée peut avoir autant de types qu'on veut.
[^] # Re: Pascal...
Posté par thoasm . En réponse au journal Python comme premier langage de programmation ?. Évalué à 3.
C'est trivialement faux en POO ou dans tous les systèmes de typages dans lesquelles on a des sous types : uns donnée d'un certain type à aussi le type des types parents. Pour le typage structurel aussi, et ça reste du typage : une donnée peut avoir autant de types qu'on veut.