另一种JVM语言?虽然采取了新的方法 CRAY瞄准500-PETAFLOP标记,XC50超级计算机 Ukcloud要为公共部门用户开立Microsoft Azure Stack Region 伦敦仍然是迁移技术人才的顶级城市 美国政府的代码.Gov软件共享网站推出 此恶意软件攻击从假客户服务呼叫开始 凝聚力将文件和对象添加到超融合的混合云 电信工业在重大举报点 基于云的网络分析向用户和应用程序钻取 劳里的爱计划使用“互联网作为一个力量” 紧急Flash Player修补程序修复零日临界缺陷 Tesla,Panasonic联合构建太阳能电池 用于物联网的Microsoft Open-Sources P语言 Hana和S / 4用户更复杂但通过许可疑惑困扰 企业面临前所未有的网络攻击量 在线风险可能意味着真实的后果 您需要了解今天的Windows安全修补程序 这是云的一年,说备巨头veeam 大学的IT外包可能引发歧视诉讼 超过四分之一的英国购物者为可穿戴的非接触式付款做好准备 2018年的每个论坛:非多样化人工智能的危险 Facebook停止英国的WhatsApp数据共享 如果微软失去了美国数据访问呼吁,隐私国际警告公民的全球风险 蒂姆厨师希望苹果与AR更美好 英国的优步司机是员工,法院规则 Airbnb开放来源数据 - 科学共享平台 CES 2018:现代和思科将SDN带到汽车上 传统的数据中心仅在2021年举办仅6%的工作负载,预测思科 来自微软浏览器的另外40米螺栓 曼彻斯特的城市vere为中小企业和初创公司推出了新的东西挑战 英格兰银行负责呼吁加密货币监管 遗产锁定和缺乏技能妨碍公共部门云采用 Adobe修复Flash Player和Adobe Connect中的漏洞 GDS首席运营官说,Brexit强调了DDAT技能的需要 成千上万的普遍信贷索赔人无法使用Gov.uk核实核实申请福利 LinkedIn的首席执行官真的很喜欢Snap的眼镜 三星购买了哈曼以拍摄苹果汽车 中国公司召回相机产品与大规模DDOS攻击相关联 火星着陆器沉默,但科学家们仍然有希望 一名CIO拒绝,现在,大学的外包计划 轨道航向网络将5G到2025年到英国铁路旅行者 FA与认识到数字服务合同 Dashlane UPS Business'Ante的“密码管理器” 黑客展示了接管城市的公共Wi-Fi网络是多么容易 APAC FINTECH市场设置为绽放 云公司需要1亿美元的数据中心投资四分之一与AWS和CO竞争 Gartner:A.I.成为最高商业投资优先事项 谷歌在Chrome中惩罚Web Backsliders 欧盟可能会努力证明网络攻击链接,警告专家 三星Galaxy S7 Edge手机也在开火;上周2火灾
您的位置:首页 >前端 >

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

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

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

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

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

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

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

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。