Qu'entends-tu par "historiquement" ? Le langage ML original a été développé dans les années 70. Il existait des langages dynamiques à l'époque (Lisp et Forth au moins), mais je pense que l'inférence de types est tout aussi "historique", d'autant qu'elle s'appuie sur de la recherche qui a été effectuée (dans un autre cadre) dans les années 50.
[^] # Re: déçu aussi, mais confiant
Posté par gasche . En réponse à la dépêche Dart va‐t‐il remplacer JavaScript comme langage dans les navigateurs ?. Évalué à 2.
Qu'entends-tu par "historiquement" ? Le langage ML original a été développé dans les années 70. Il existait des langages dynamiques à l'époque (Lisp et Forth au moins), mais je pense que l'inférence de types est tout aussi "historique", d'autant qu'elle s'appuie sur de la recherche qui a été effectuée (dans un autre cadre) dans les années 50.