Par expérience, un logiciel de gestion Électronique de Document que j'ai écrit en OCaml (25KLOC) avait très peu de bugs une fois que le compilateur était d'accord pour compiler.
J'ai surtout eu des bugs avec des chaines mappés sur toutes sorte de champs de base de données. Une fois utilisé des types fantômes pour les discriminer, j'avais essentiellement des bugs d'algo.
Le compilateur chiant est un outil génial pour les fainéant
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Et pendant ce temps, CamlLight poursuite sa route...
Posté par Ontologia (site web personnel) . En réponse à la dépêche OCaml 4.03. Évalué à 5.
Par expérience, un logiciel de gestion Électronique de Document que j'ai écrit en OCaml (25KLOC) avait très peu de bugs une fois que le compilateur était d'accord pour compiler.
J'ai surtout eu des bugs avec des chaines mappés sur toutes sorte de champs de base de données. Une fois utilisé des types fantômes pour les discriminer, j'avais essentiellement des bugs d'algo.
Le compilateur chiant est un outil génial pour les fainéant
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker