Folco (./200) :

flanker (./196) :
Quel est le côté non-sûr de l'inférence de type ?

T'as fait de l'assembleur aussi, non ? Mais il y a longtemps, alors t'as dû oublier : tout bit de ton programme que tu ne fais pas toi-même fait peur, quand tu ne fais quasiment que de l'asm. L'inférence de type rajoutant encore une couche d'automatisation à un langage typé (ce qui était rassurant à la base, donc là tu comprends plus trop), tu as peur avant d'avoir compris, forcément. C'est juste humain.

sauf que j'ai fait du Caml en même temps, qui fait de l'inférence de type Mais effectivement, je peux comprendre ton appréhension.

En Caml, on voit qu'au final, l'inférence de type est au contraire super sûre. Si on l'IDE ne râle pas (ni le compilo), c'est qu'on peut le faire. Au final, on fait des templates C++ de façon transparente et naturelle