关闭

阿布里尔2021年20月20日

与OCaml生态系统连接

如前所述, 我们收到了补助金来自 艾尔弗·斯隆基金支持希望帮助增加软件遗产档案覆盖范围的专家的贡献。之后 第一个子格兰特授予 小屋实验室,一个 第二个授予 斯特凡·斯珀林,第三名授予奥克托布斯,今天我们很高兴地宣布第四个分等级被授予 OCaml专业,这将有助于通过将软件遗产与OCaml生态系统集成来增加软件遗产的覆盖范围。

这个OCaml编程语言以其强大的类型系统而闻名,该系统由非常高效的实现提供支持。随着OCaml课程在计算机科学教育领域的兴起,它在工业界,尤其是在金融、安全和安保领域,以及学术界的应用,其吸引力不断增强。它用于开发许多备受瞩目的研究项目,从获奖开始防Coq助理,到Astree静态分析仪,的Alt-Ergo SMT解算器SynDEX CAD软件。它也用于工业生产软件例如脸书Messenger特佐斯块链。 Opam是既定的包管理器对于OCaml,集成了高级依赖解决技术,以及官方Opam存储库包含3000多个包裹。

OCaml专业是一家成立于2011年的公司,其使命是帮助工业用户受益于最先进的编程语言,如OCaml和Rust,以及在正式方法方面的广泛专业知识。它有助于Opam包管理器并积极维护。OCaml专业将为Opam存储库开发列表器,并为摄取相应源代码开发任何缺少的加载程序。它还将集成在Opam支持中,以便在原始位置找不到源代码的情况下,利用SWHID标识符

你也可以为软件遗产做出贡献 使命! 如果你想参与进来 填写这个简单的表格开始这个过程!

阿布里尔2021年20月20日