另一种JVM语言？虽然采取了新的方法
2021-07-26 12:44:25 [来源]：
虽然它似乎已经有大量的语言骑在JVM上，但从JRuby到Scala，Groovy到Kotlin，开源的开发人员，Wheri语言认为他们仍然通过解决验证编译器挑战来提供新的东西。
验证编译器使用数学和逻辑推理来检查程序正确性。“我的问题是，我试图回答它是否可以在惠灵顿大学计算机科学高级讲师David Pearce表示是否可以建立可以真正使用的验证编译器，”惠灵顿大学计算机科学高级讲师新西兰。“这意味着它必须生成合理有效的代码，它必须拥有我们预期的所有钟声和吹口哨，并且编译时验证必须足够好，它增加了价值和不起作用”妨碍了。“
[编程的艺术正在迅速变化。我们帮助您导航在编程中的热点以及寒冷的内容，并对改变开发人员如何工作的技术进行深入了解。/跟上使用InfoWorld应用程序开发时事通讯编程的热门话题。]虽然使用扩展的静态检查来消除编译时的错误，并且如Scala，它利用面向对象和功能编程。Pearce将其视为最适合安全性和安全性至关重要的应用。“例如，臭名昭着的Hearmbleed Bug包含缓冲区溢出，这正是那种镜头的那种东西，”他说。
但是，虽然目前在版本0.3.40版本，但还没有准备好粉末时间。“可能，目前最好的使用实际上是为了帮助了解验证，”皮尔斯说。意图是改进验证系统，以便它可以验证现实的程序。“超出此处，我刚刚完成了编译器中使用的中间语言的重大返工。除了JVM之外，这会为更有趣的背部开辟大量可能性。我特别感兴趣，或者也许是llvm后端，也是javascript。我也一直在玩嵌入式系统，并希望在微控制器上运行。“
这个故事，“另一种JVM语言？虽然是新的方法“最初由Infoworld发表。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如有侵权行为，请第一时间联系我们修改或删除，多谢。
每日推荐
