Caramel：可大规模扩展，零运行时错误，选择两个

焦糖有一个高度表现力的、健全的类型系统，以及一个速度极快的类型检查器。这使您可以通过使用更接近您的域的类型来排除整个错误类，并且在不牺牲开发速度的情况下无畏地重构大量代码。

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

Caramel运行在Erlang虚拟机上，这可能是世界上最成熟、最可靠的函数式语言运行时。它有内置的错误处理机制，这使得它非常适合构建永远不会停止运行、需要软实时处理大规模并发以及只需要几个工程师就能构建的系统。