OCaml 5.0.0 正式发布

OCaml 是一个函数式、指令式、模块化、面向对象的通用的编程语言，源自 ML (Meta Language) 语言家族。

OCaml 5.0.0 近日已正式发布，主要更新亮点是引入了全新的运行时环境，支持共享的内存并行性和效果处理程序。

所谓共享的内存并行性是指 Multicore OCaml。它通过 domain 增加了对并行共享内存的支持，并通过 effect handler（无语法支持）增加了对并发 (direct-style concurrency) 的支持。Multicore OCaml 还打算向后兼容 —— 包括语言特性、C API 以及单线程代码的性能方面。

由于 OCaml 5 完全重写了 OCaml 运行时环境。因此，与常规的 OCaml 版本相比，OCaml 5.0.0 是更具实验性的 OCaml 版本。官方公告写道，OCaml 5.0.0 兼容 OCaml 4，能与 OCaml 4 工作的代码应该也能与 OCaml 5 工作。目前已知的例外情况是：

• 移除了很多早已废弃的函数和模块
• 改变了内部运行时 API
• ephemerons 的性能目前严重下降

在此版本中，原生编译器仅支持 x86-64 和 arm64 架构。操作系统方面，支持 Linux、BSD、macOS 和 Windows 上的 mingw64。团队称计划恢复对大多数以前支持的体系结构和操作系统的支持，并在明年解决剩余的已知问题。

在 OCaml 5 的成熟期，OCaml 4.14 分支将通过定期向后移植 OCaml 5 分支的错误修复来维护。OCaml 4.14 分支的下一个版本 OCaml 4.14.1 应该很快跟进 OCaml 5。

下载地址：https://github.com/ocaml/ocaml/releases/tag/5.0.0