Mon problème avec les langages comme Python, Ruby, (Perl?) c'est le typage dynamique. Pour faire des petits scripts rapides c'est pratique, mais pour des gros programmes sa peut rapidement te jouer des tours si tu fais du refactoring. Mais même pour les petits programmes je penses que simplement avoir de l'inférence de type est un bon compromis. Tu peux rapidement écrire ton code sans trop pensée au type, mais ils sont quand même là pour attraper certain bug.
Ils faut précisé que cela viens de quelqu'un dont Haskell est le langage préféré. J'ai un stage en Haskell en ce moment d’ailleurs. Je ne sais plus qui avait parler de Haskell ici il y a quelque chose comme 3 ou 4 ans, mais merci à cette personne.