Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml Export

@article{citeulike:3000297, abstract = {This is the year 2008 and ML-style exceptions are everywhere. Most modern languages, whether academic or industrial, feature some variant of this mechanism. Languages such as Java even have a degree of out-of-the-box static coverage-checking for such exceptions, which is currently not available for ML languages, at least not without resorting to external tools. In this document, we demonstrate a design principle and a tiny library for managing errors in a functional manner, with static coverage-checking, automatically-inferred, structurally typed and hierarchical exceptional cases, all of this for what we believe is a reasonable run-time cost. Our work is based on OCaml and features simple uses of higher-order programming, low-level exceptions, phantom types, polymorphic variants and compile-time code rewriting.}, author = {Teller, David and Spiwack, Arnaud and Varoquaux, Till}, booktitle = {ML 2008}, citeulike-article-id = {3000297}, citeulike-linkout-0 = {http://www.univ-orleans.fr/lifo/Members/David.Teller/publications/ml2008.pdf}, keywords = {caml, exceptions, monads}, posted-at = {2008-08-17 17:28:56}, priority = {0}, title = {Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml}, url = {http://www.univ-orleans.fr/lifo/Members/David.Teller/publications/ml2008.pdf}, year = {2008} }

TY - JOUR ID - citeulike:3000297 L3 - citeulike-article-id:3000297 N2 - This is the year 2008 and ML-style exceptions are everywhere. Most modern languages, whether academic or industrial, feature some variant of this mechanism. Languages such as Java even have a degree of out-of-the-box static coverage-checking for such exceptions, which is currently not available for ML languages, at least not without resorting to external tools. In this document, we demonstrate a design principle and a tiny library for managing errors in a functional manner, with static coverage-checking, automatically-inferred, structurally typed and hierarchical exceptional cases, all of this for what we believe is a reasonable run-time cost. Our work is based on OCaml and features simple uses of higher-order programming, low-level exceptions, phantom types, polymorphic variants and compile-time code rewriting. TI - Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml T2 - ML 2008 KW - caml KW - exceptions KW - monads AU - Teller, David AU - Spiwack, Arnaud AU - Varoquaux, Till PY - 2008/// UR - http://www.univ-orleans.fr/lifo/Members/David.Teller/publications/ml2008.pdf ER -