06.26.08
Publié dans Informatique / Computer science, OCaml, Recherche / Research tagged benchmark, camlp4, dynamic errors, error management, errors, exceptions, haskell, ml, monad, obj.magic, OCaml, optimization, phantom types, polymorphic variants, programming, programming languages, research, rewriting, semantics, sml, software, syntactic sugar, type system à 11:38 par yoric
A new version of the exception monad for OCaml is now available for download. It’s now richer, comes with extensive syntactic sugar and a brand new system of compile-time optimizations. More on this in the corresponding research paper — and whenever I find the time, on this blog.
Permalien
