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。