Caramel: An OCaml compiler that provides a fast type-checker for Erlang
Caramel is an Erlang backend for OCaml's type checker, offering a highly expressive, sound type-system, and a blazing fast type-checker. This allows you to rule out entire classes of errors by using types that are closer to your domain, and fearlessly ref... (more…)
Read more »