导读 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 工作。目前已知的例外情况是:

  1. 移除了很多早已废弃的函数和模块
  2. 改变了内部运行时 API
  3. 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://www.oschina.net/news/221980/ocaml-5-0-0-released

本文地址:https://www.linuxprobe.com/ocaml-5-fabu.html编辑:问题终结者,审核员:清蒸github

Linux命令大全:https://www.linuxcool.com/

Linux系统大全:https://www.linuxdown.com/

红帽认证RHCE考试心得:https://www.rhce.net/