我们很高兴地宣布OCaml Labs将加入Tarides。在过去四年成功合作完成了许多 OCaml 项目后，该联盟将结合双方的专业知识，使我们能够将 OCaml（世界上最先进的编程语言之一）带入主流应用。合力将加速 OCaml 的开发及其更广泛的采用。此外，它将 OCaml 的安全性、可移植性和性能带到广泛的用例中：从学术努力（如网络安全中的正式方法和现有威胁）到气候变化、可持续农业甚至是现实世界的应用宇宙探索。

OCaml Labs 的现有职责和开源承诺将转移到 Tarides，并且由于团队已经密切合作，业务将继续进行而不会中断连续性或交付。Gemma Gordon 将担任 Tarides 的首席执行官，Thomas Gazagnaire 将作为 CTO 领导技术愿景和战略。正如 OCaml Labs 的创始人和 Tarides 的科学顾问 Anil Madhavapeddy 教授指出的那样，“我们在过去十年中在大学进行的前沿研究现已迁移到 OCaml 主线，因此正在进行的管理和开发现在将发生在商业支持的基础上。我很高兴能继续与剑桥大学的 Tarides 合作开展研究。” Tarides 将继续在 OCaml Labs 开始的工作，并投资于增长、健康、

“我很荣幸拥有令人难以置信的 OCaml Labs 团队 - 精心设计和制作多核 OCaml 的团队 - 加入 Tarides”，Tarides 的首席技术官 Thomas Gazagnaire 博士说。“我们有一个相似的观点，即共同的瘟疫影响着不断发展的软件行业：即软件质量低劣和漏洞无处不在。然而，这并不是一个致命的缺陷：OCaml Labs 多年来开发的工具不会在质量上妥协，并且允许开发团队自动修复至少 70% 的安全漏洞和0-day 安全漏洞. 因此，OCaml 是一种简单而强大的语言，可以应对开发人员今天面临的许多挑战。自 Tarides 成立以来，我们就设想了一个未来，所有 OCaml 应用程序都可以轻松部署为专业、安全和节能的 MirageOS unikernels。这个联盟是朝着这个方向迈出的一步。” 由于 OCaml 是用于开发 MirageOS 的语言，因此 Tarides 自创建以来就不断开发和维护 OCaml 生态系统的一部分。我们与 OCaml Labs 的联盟使这一点更加明显：MirageOS 生态系统严重依赖 OCaml，而 OCaml 生态系统受益于 MirageOS 项目的创新。因此，Tarides 完全致力于使 OCaml 和 MirageOS 之间的协同作用取得成功。

今年有几个令人兴奋的项目即将到来。正如 Gazagnaire 所说，“2022 年是多核 OCaml 之年”。OCaml 5.0 版本将支持多核和效果处理程序，影响语言及其生态系统的各个方面。该更新将显着提高性能和用户体验，同时保留使 OCaml 成为构建（例如，验证软件工具）的首选语言的现有功能。利用团队的综合经验和对创新的热情，Tarides 兴奋地展望 OCaml 语言和社区的未来。我们将继续推动探索的界限，同时专注于对社区有益的事情。因此，该联盟将补充 Tarides 的商业产品，并为 Tarides 的使命做出贡献：赋能开发人员，

Tarides 首席执行官 Gemma Gordon 表示：“我们很高兴能成为一个在操作系统、分布式系统和安全性等多个领域进行创新的组织的一员，其中包括 Irmin 分布式存储和 MirageOS unikernel 项目。” “我为与 OCaml Labs 合作的人们感到无比自豪。我们已经能够建立一个可持续的开源社区，来自不同背景的人们一起合作。过去人们不得不自愿在 OCaml 上投入时间，或者从事学术研究。我们创建了一条额外的资助路径，增加了我们社区的多样性和创新性。我很高兴能继续成为这个团队的一员，该团队将最优秀的人才聚集在一起，以解决软件行业今天面临的许多问题。

该联盟使 Tarides 的员工人数达到 60 多人，所有人都致力于使 OCaml 成为任何和每个项目的最佳语言。

OCaml 实验室

近十年来，OCaml Labs 一直处于 OCaml 创新的最前沿。它由 Anil Madhavapeddy 教授于 2012 年在剑桥大学创立，并于 2016 年发展成为一家衍生咨询公司。OCaml Labs 的使命是推动 OCaml 和函数式编程作为一个平台向前发展，使其成为更有效的工具对于所有用户（包括大规模工业部署），同时增加该语言的吸引力以扩大其适用性和流行度。

OCaml Labs 在开发和维护 OCaml 平台以在工业规模上使用 OCaml 方面发挥了重要作用。OCaml Labs 为opam包管理生态系统和 OCaml 社区网站https://ocaml.org的开发和维护做出了贡献。这些站点充当 OCaml 社区的中心，展示最先进的技术并促进创新。本月，该网站的一个新的和改进的版本已在测试版下发布。此外，OCaml Labs 最重要的（也是技术上复杂的）项目，OCaml Multicore，最终将在今年取得成果。该项目的工作始于 2014 年，随后在 2020 年发表了获奖论文和演讲，并在 2021 年底宣布 Multicore 将成为 OCaml 主线编译器的一部分。

塔里德斯

Tarides 是一家科技初创公司，由编程语言和云计算的先驱于 2018 年在巴黎创立。他们开发了一个软件基础设施平台来部署具有严格资源限制和低延迟性能要求的安全分布式应用程序。该平台建立在 MirageOS 和 Irmin 等创新和开源项目的基础上，并支持诸如 Tezos 区块链、Citrix XenServer 或 Docker for Desktop 等关键任务部署。此外，Tarides 使用 unikernel 技术，并将在编程语言中所做的研究应用于现实世界的系统，以构建安全和高性能的应用程序。

Tarides 已于 2018 年成为 F 站创始人计划的一部分。此外，它还入选了法国高等教育、研究与创新部与 Bpifrance 合作组织的“Concours d'Innovation i-Lab”。这个全国性的竞赛奖励公司的创造和创新技术。Tarides 在欧洲领先的网络安全盛会 FIC 2020 博览会（国际网络安全论坛）上获奖。