Ma réponse n'était pas claire mais je parlais de l'intérêt de l'inférence de type dans un langage typé statiquement (c'était une réponse au post de Uther). Je suis tout a fait d'accord avec toi concernant le refactoring dans un langage dynamique, c'est catastrophique.