Je trouve au contraire que moins il y a de types, plus le code est lisible (je préfère lire du JavaScript plutôt que du Java, pourtant la syntaxe est similaire), mais c'est peut-être une question d'habitude. Ca rend aussi le refactoring beaucoup plus rapide, pas besoin de modifier toutes les variables quand tu décides finalement que int64_t c'était mieux que int32_t.

Et l'inférence de type ne veut pas forcement dire qu'il n'y a plus de types exprimés. On peut tout a fait spécifier les types dans les interfaces (paramètres des méthodes, etc...) et laisser le compilateur inférer toutes les variables locales en Haxe ou en C++ par exemple.