OCaml实验室的突破-好事降临到等待的人身上

这里的一群系统研究人员，以及他们的工业和学术合作者，正在庆祝获得一个享有盛誉的奖项，以表彰他们花了六年时间取得的突破。

OCaml实验室团队刚刚获得了2020国际函数式编程会议颁发的杰出论文奖，以表彰他们将并行性改进到OCaml的论文。

该奖项表彰他们在解决一个极具挑战性的问题上所做的工作：在保持向后兼容性的同时，为具有数百万行现有代码的广泛使用的函数式编程语言添加并行性。

OCaml实验室项目自2012年以来一直在运行，目的是让函数式编程语言OCaml走出默默无闻，并鼓励其在工业中使用。因此，OCaml今天成功地在工业应用中扮演着越来越重要的角色，因为它具有高度的可靠性和精确度：它是构建主要验证工具(Coq、Why3、AltErgo、Imandra)的首选语言，其行业用户包括Jane Street、Microsoft和Facebook。

这种语言最初是由法国国家数字媒体科学技术研究所Inria的一个团队设计的。它被誉为最快的顺序函数式编程语言之一，即只在一个计算机处理单元(CPU)核心上运行的语言。但到目前为止，它也是为数不多的缺乏对共享内存并行编程支持的现代托管系统编程语言之一。

由于现在大多数计算机都是多核的，研究人员急于解决这个问题，以便实现他们的目标，即开发这种语言，以提供更高级别的正确性和作为语言平台的函数式编程，并使其成为重要的工业用户更安全、更可靠的工具。

项目负责人阿尼尔·马达瓦维迪博士(见右图)说：OCaml是一种表达复杂算法的优美语言，我们面临的挑战是如何在保持优雅的同时找到一种高效的方式来实现多核。

它是精密工程中使用的一种语言，我们还必须确保我们在安全性上不会妥协。在经历了六年和许多死胡同之后，我们终于把它弄清楚了。这是一个相当大的突破，意味着我们已经扫除了OCaml成为真正主流的工业编程语言的最后障碍。

研究人员目前正在与OCaml开发团队合作，以确保他们的解决方案在OCaml 5.0中实现，该解决方案将于2021年底发布。

OCaml实验室是一个由这里和印度的研究人员参与的合作项目-论文的第一作者KC Sivaramakrishnan(右图)曾是这里的博士后研究员，现在是马德拉斯IIT的教授。

还在与量化交易公司Jane Street和Tezos基金会(Tezos是一种用于资产和应用的开源区块链协议)进行行业合作，这两家公司都提供了赠款支持这项工作。

KC Sivaramakrishnan，Stephen Dolan，Leo White，Sadiq Jaffer，Tom Kelly，Anmol Sahoo，Sudha Parimala，Atul Dhiman和Anil Madhavoleddy。2020将并行度改装到OCaml流程。ACM计划。朗。4，ICFP，第113条(2020年8月)，30页。Https://doi.org/10.1145/3408995.