Hippopotamu
:

Ca pourrait alléger la syntaxe, mais ça rajoute tellement de contraintes sur le langage (suffit de voir comme il est pourri) que j'en viens à me demander si le jeu en vaut vraiment la chandelle...

- syntaxe mille fois plus légère, comme tu dis.

Ah... Devoir mettre le nom du type devant chaque appel de fonction, c ça une syntaxe légère ?

- abstraction propre et sécurité (le programmeur ne peut pas aller écrire un int là où il y a un float, ce qui serait tout de même atroce)

les conversions totalement implicites et silencieuses du C soient un peu dangereuses, mais ce n'est en aucun cas une conséquence du modèle de typage : le C#, lui, refuse les conversions implicites float->int. Et si je veux faire une conversion, c'est carrément plus simple de faire (int)(x*2.3+0.5)Je veux bien que*. 2.3 +. 0.5) que de faire int_of_float ((float_of_int x) ...

Ca ne rajoute pas la moindre contrainte, mais au contraire des avantages : propreté, sécurité.

"propreté", excuse-moi, mais c'est un peu un gros !mac...

Depuis quand le typage statique ne peut se faire qu'avec un typage à la Caml

Si tu veux un typage sûr et strict, il est inutile de se passer du typage auto puisque le typage manuel donnerait le même résultat.
Si tu veux un typage pas sûr ou pas strict, alors abandonne les langages d'3l33t comme le caml et va programmer en scilab, barbare!

On peut avoir un typage statique sans avoir de typage automatique, hein