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.
- 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)

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

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!