Il y a un outil qui fait de l'analyse statique du code OCaml pour propager les exceptions : Ocamlexc.
Ne pas surcharger les annotations de types avec les effets mais conserver une gestion fiable des exceptions est un bon compromis.
Attention à lire le readme au sujet des constructions récentes. (J'ai un patch quick'n'dirty pour le compiler avec Labltk, je pourrai le mettre quelque part si ça intéresse des gens :)).
[^] # Re: dommage
Posté par Def . En réponse au journal The Future of Functional Programming Languages. Évalué à 2.
Il y a un outil qui fait de l'analyse statique du code OCaml pour propager les exceptions :
Ocamlexc.
Ne pas surcharger les annotations de types avec les effets mais conserver une gestion fiable des exceptions est un bon compromis.
Attention à lire le readme au sujet des constructions récentes. (J'ai un patch quick'n'dirty pour le compiler avec Labltk, je pourrai le mettre quelque part si ça intéresse des gens :)).