Les types sont des ensembles (ou plutôt des algèbres = ensemble + opération sur les éléments de l'ensemble) !
Si on veut, sauf que les opérateurs en question ne correspondent pas aux opérateurs mathématiques courants (l'addition informatique sur deux entiers 32 bits n'est pas l'addition au sens mathématique, et l'addition au sens mathématique ne peut être définie de l'ensemble des entiers 32 bits dans lui-même). Donc on revient toujours aux problèmes sus-mentionnés, et à la conclusion qu'expliquer l'informatique par les maths est une mauvaise idée.
Et il ne s'agit là que de l'exemple des entiers, avec les flottants IEEE c'est encore plus rigolo...
[^] # Re: Pascal...
Posté par Antoine . En réponse au journal Python comme premier langage de programmation ?. Évalué à 4.
Si on veut, sauf que les opérateurs en question ne correspondent pas aux opérateurs mathématiques courants (l'addition informatique sur deux entiers 32 bits n'est pas l'addition au sens mathématique, et l'addition au sens mathématique ne peut être définie de l'ensemble des entiers 32 bits dans lui-même). Donc on revient toujours aux problèmes sus-mentionnés, et à la conclusion qu'expliquer l'informatique par les maths est une mauvaise idée.
Et il ne s'agit là que de l'exemple des entiers, avec les flottants IEEE c'est encore plus rigolo...