Airbnb开放来源数据 - 科学分享平台

发布时间：2021-11-17 10:01 所属栏目：125 来源：互联网

导读：虽然它似乎已经有大量的语言骑在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发表。

（编辑：ASP站长网）