焦糖色：OCaml到Erlang编译器

焦糖具有高表现力，声音类型系统和快速的类型检查器。这使您可以通过使用更接近您的域的类型来排除整个错误类别，并在不牺牲开发速度的情况下毫不费力地重构大量代码。

为了实现这一目标，Caramel实际上是OCaml编译器的后端，因此，它重用了整个类型检查堆栈，并进行了25年以上的研究和数百万小时的学术研究和工业使用，并为Erlang提供了新的编译目标。

Caramel在Erlang虚拟机上运行，​​该虚拟机可能是世界上最成熟，最可靠的功能语言运行时。它具有内置的错误处理机制，非常适合构建永不停止运行，需要实时处理大量并发并且仅由少数工程师构建的系统。