#massively

焦糖有一个高度表现力的、健全的类型系统，以及一个速度极快的类型检查器。这使您可以通过使用更接近您的域的类型来排除整个错误类，并且在不牺牲开发速度的情况下无畏地重构大量代码。 为了实现这一点，Caramel实际上是OCaml编译器的后端，因此它重用了整个类型检查堆栈，有超过25年的学术研究和数百万小时的工业使用，并为E......