Sally :
Je ne parlais pas d'un rectangle de côté 1 m, mais d'un rectangle de côté 1 sans dimension, le nombre entier 1, pas une longueur arbitraire définie comme étalon. Sinon j'aurais écrit 1 m... et ton exemple ne marche pas avec un rectangle de côté 1 m, parce qu'on n'a pas y = y * 1 m. (Indice : si on avait cette égalité, on aurait aussi y = y * 100 cm, ce qui te choque peut-êtrre davantage ^^)
Mais ça marche exactement de la même façon que notre PS plus haut, c'est-à-dire que l'on a 7 = 1x7 (égalité du scalaire) mais 7m != 1m x 7m... = 7m² (inégalité de typage)
C'est à peu près ce que je dis depuis le début.
Sally :
et euh « y a pas besoin de faire de la physique » sauf que le débat porte justement sur les dimensions physiques non ? c'est quoi un mètre, en maths ?
bauf non osef de la physique, on peut faire de la thorie des types sans physique, je vois pas trop le problème.
Sally :
en maths, on peut certes étudier les équations aux dimensions hors de tout contexte physique, mais bon on le fait rarement, parce que ces histoires de dimensions et d'unités (et de mesure) sont quand même des problèmes venant de la physique...
bauf on utilise bien des types en info, qui sont des maths. Si tu veux très fortement typer, tu peux très bien distinguer le type distance du type surface, et tu arrivera aux mêmes considérations, même si en faite les deux sont des simples scalaires.
Effectivement si tu t'arréte aux types correspondant à la nature mathématique de l'object, tu décrit une distance comme un scalaire, une surface comme un scalaire, ton PS étant une forme (bilinéaire) tu obtient bien un scalaire, et tu peux effectivement écricre des égalitées dans tous les sens puisque ce sont tous des scalaires sans plus de distinction.(bien que l'on ait déjà distinguer les scalaires des vecteurs, mais bon c'est bien le minimum vitale..)
Mais rien qu'a énoncer cet exemple, on voit bien comme c'est à la fois domage et génant de s'arréter là.