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