另一种JVM语言？虽然采取了新的方法

2021-10-20 08:46:13来源：

虽然它似乎已经有大量的语言骑在JVM上，但从JRuby到Scala，Groovy到Kotlin，开源的开发人员，Wheri语言认为他们仍然通过解决验证编译器挑战来提供新的东西。

验证编译器使用数学和逻辑推理来检查程序正确性。“我的问题是，我试图回答它是否可以在惠灵顿大学计算机科学高级讲师David Pearce表示是否可以建立可以真正使用的验证编译器，”惠灵顿大学计算机科学高级讲师新西兰。“这意味着它必须生成合理有效的代码，它必须拥有我们预期的所有钟声和吹口哨，并且编译时验证必须足够好，它增加了价值和不起作用”妨碍了。“

[编程的艺术正在迅速变化。我们帮助您导航在编程中的热点以及寒冷的内容，并对改变开发人员如何工作的技术进行深入了解。/跟上使用InfoWorld应用程序开发时事通讯编程的热门话题。]

虽然使用扩展的静态检查来消除编译时的错误，并且如Scala，它利用面向对象和功能编程。Pearce将其视为最适合安全性和安全性至关重要的应用。“例如，臭名昭着的Hearmbleed Bug包含缓冲区溢出，这正是那种镜头的那种东西，”他说。

但是，虽然目前在版本0.3.40版本，但还没有准备好粉末时间。“可能，目前最好的使用实际上是为了帮助了解验证，”皮尔斯说。意图是改进验证系统，以便它可以验证现实的程序。“超出此处，我刚刚完成了编译器中使用的中间语言的重大返工。除了JVM之外，这会为更有趣的背部开辟大量可能性。我特别感兴趣，或者也许是llvm后端，也是javascript。我也一直在玩嵌入式系统，并希望在微控制器上运行。“

这个故事，“另一种JVM语言？虽然是新的方法“最初由Infoworld发表。

返回科技金融网首页 >>

版权及免责声明：凡本网所属版权作品，转载时须获得授权并注明来源“科技金融网”，违者本网将保留追究其相关法律责任的权力。凡转载文章，不代表本网观点和立场，如有侵权，请联系我们删除。