Introducing Caramel - An Erlang Backend for the OCaml compiler that provides a fast type-checker for BEAM-based technologies. 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 refactor large amounts of code without sacrificing development speed. Caramel is created by our colleague Leandro Ostera who joins us on the blog to explain what it offers the community.
http://erlang-solutions.com/bl....og/introducing-caram