Oui en fait je voulais dire, avec l'algorithme tel qu'il est.
Je viens de parcourir en diagonale les slides, et il semble que la forme de surcharge prévue soit un peu moins puissante que celle prévue par le C++ par exemple.
De plus je me demande si les concepteurs de OCaml iront faire ceci, car la preuve du noyau de OCaml serait sans doute à refaire, ce qui doit prendre un certain temps. Après je n'ai pas vu en détails, il suffirait peut-être d'adapter.
En tout cas ça va rendre l'UE "fondements de la programmation" plus difficile ;-)
[^] # Re: Dommage...
Posté par MiniMoi . En réponse à la dépêche OCaml 3.10.0 est sorti. Évalué à 1.
Je viens de parcourir en diagonale les slides, et il semble que la forme de surcharge prévue soit un peu moins puissante que celle prévue par le C++ par exemple.
De plus je me demande si les concepteurs de OCaml iront faire ceci, car la preuve du noyau de OCaml serait sans doute à refaire, ce qui doit prendre un certain temps. Après je n'ai pas vu en détails, il suffirait peut-être d'adapter.
En tout cas ça va rendre l'UE "fondements de la programmation" plus difficile ;-)