Hi, when running server software, it is quite frustrating when the program crashes due to an uncaught exception. I see there was some attempts on doing static analysis of the exception flow in programs around 10 years ago (such as ttp://pauillac.inria.fr/caml/ocamlexc/ocamlexc.htm), but they did not seem to be complete and now seem to be dropped. Is there some technical reason for not having static exception analyses, or can we hope that some day in the future, Ocaml will support static exception analysis?
What experience does people have to using alternatives to exceptions, such as option types or exception monads? Does use of third part libraries that still throws exceptions make such approaches hard to use? Performance wise it seems to be comparable to catching exceptions or matching for options, so I guess the difference be might a question of programming style? Thanks, Hans Ole Rafaelsen
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
