Interested in a blazingly fast type checker with 25 years of investment, delivered on the BEAM? Check out Caramel, an exciting project from our colleague Leandro Ostera. Learn more in our introductory blog https://www2.erlang-solutions.com/caramelocamlonthebeamli
There’s also a good thread about Caramel here: What is your opinion about Caramel, the OCaml compiler with Erlang backend?
Its creator, @ostera, is also a member here and our portal for it is here: