>En effet une des grandes force de Caml est que l'algorithme de typage est prouvé
Bof, la tête du programmeur, elle n'est pas prouvée elle..
Dans les cas ambigu, je pense qu'il est préférable que l'algorithme d'inférence de type sorte une erreur a la compilation, après tout pour corriger il suffit de rendre explicite le type désiré.
[^] # Re: Tout bon!
Posté par reno . En réponse à la dépêche OCaml summer project. Évalué à 1.
Bof, la tête du programmeur, elle n'est pas prouvée elle..
Dans les cas ambigu, je pense qu'il est préférable que l'algorithme d'inférence de type sorte une erreur a la compilation, après tout pour corriger il suffit de rendre explicite le type désiré.