Mais effectivement l’idée que je voulais exprimer, c’était qu’un typage statique permettait de déclarer explicitement les variables, l’ensemble auquel elle appartient, et donc les opérateurs qui s’appliquent. Au passage, en math, un ensemble muni d’opérations est une structure algébrique : groupe (mathématiques)anneau (mathématiques)corps (mathématiques) avec les bonnes propriétés.
Fondamentalement, vu que je viens des math, j’ai appris l’informatique à travers les mathématiques, en voyant très tôt la représentation informatique des nombres et ses limitations. Mais fondamentalement, oui j’ai plutôt tendance à considérer mes variables informatiques comme des variables mathématiques tout ce qu’il y a de plus standard (ai fait pas mal beaucoup d’analyse numérique...), et à bien avoir conscience des limites que l’informatique impose aux calculs numériques (c’est surtout pour les flottants que c’est plus problématique, et en théorie vaut mieux avoir des notions de calcul différentiel si on veut traiter cela proprement).
[^] # Re: Pascal...
Posté par Pierre Roc . En réponse au journal Python comme premier langage de programmation ?. Évalué à 4.
Bon, tout un fil parce que j’ai (semi-)merdé. :)
Mais effectivement l’idée que je voulais exprimer, c’était qu’un typage statique permettait de déclarer explicitement les variables, l’ensemble auquel elle appartient, et donc les opérateurs qui s’appliquent. Au passage, en math, un ensemble muni d’opérations est une structure algébrique : groupe (mathématiques) anneau (mathématiques) corps (mathématiques) avec les bonnes propriétés.
Fondamentalement, vu que je viens des math, j’ai appris l’informatique à travers les mathématiques, en voyant très tôt la représentation informatique des nombres et ses limitations. Mais fondamentalement, oui j’ai plutôt tendance à considérer mes variables informatiques comme des variables mathématiques tout ce qu’il y a de plus standard (ai fait pas mal beaucoup d’analyse numérique...), et à bien avoir conscience des limites que l’informatique impose aux calculs numériques (c’est surtout pour les flottants que c’est plus problématique, et en théorie vaut mieux avoir des notions de calcul différentiel si on veut traiter cela proprement).