OCaml 5.0.0 发布首个 Beta 测试版


在推出两个 Alpha 版本之后,OCaml 5.0.0 发布了首个 Beta 测试版。目前标准库已达到稳定状态,离正式版的发布越来越近。与上一个 alpha 相比,首个 Beta 版本包含许多小型的内部 runtime 修复补丁,尤其是在 systhreads 库中。

在用户层面,Domain 和 Effect 模块的接口已经被调整为更加向前兼容:

  • 与 effects 相关的异常现在在 Effecŧ 模块中进行定义
  • Domain.recommended_domain_count值不再是常量,Domain.at_each_spawn函数已被删除

标准库变更:

  • #11309,#11424,#11427, +#11545: 添加 Domain.recommended_domain_count.

  • #11423: 将 effect exceptions 移动到 Effect module

  • #11593: 移除 Domain.at_each_spawn

根据此前的报道,由于 OCaml 5.0 完全重写了 OCaml 运行时,其本身预计将是一个比平时更具实验性的版本。值得注意的是,原生编译器将仅在此 5.0 版本的 ARM64 和 x86-64 架构上可用。

此版本还有一个值得关注的特性:Multicore OCaml。它通过 domain 增加了对并行共享内存的支持,并通过 effect handler(无语法支持)增加了对并发 (direct-style concurrency) 的支持。Multicore OCaml 还打算向后兼容 —— 包括语言特性、C API 以及单线程代码的性能方面。

详情查看发布公告。

延伸阅读

  • Multicore OCaml 被合并进上游

 


相關推薦

2022-07-01

 Multicore OCaml 被合并进主线五个月后,以及 OCaml 4.14.0 发布三个月后,OCaml 5.0.0 发布了首个 Alpha 版本。 由于 OCaml 5.0 完全重写了 OCaml 运行时,这个 alpha 版本预计比常见的 alpha 版本更不稳定。特别是,字节码调试器 (bytecode de

2023-09-19

Docusaurus v3 发布了首个 Beta 测试版。公告称 v3 主要是升级了基础设施,UI 没有重大变化。 Docusaurus 是 Facebook(现更名为 Meta)开源的静态网站生成器。它将你的网站构建成一个单页面应用程序 (single-page application),具有快速

2022-05-09

Python 3.11.0 发布了首个 Beta 版本。 开发团队称,虽然该版本计划在功能完整的情况下进入 Beta 阶段,但在发布候选阶段之前,功能可能会被修改或在极少数情况下被删除。他们的目标是在 beta 4 之后没有 ABI 更改,并且在第一个

2022-07-09

IntelliJ IDEA 2022.2 首个公开测试版已发布。 主要变化 增强远程开发体验 远程开发功能将 IDE 拆分为本地和远程组件,IDE 本身作为后端服务安装在远程服务器上用于加载项目。同时瘦客户端(thin client)在本地运行并提供完

2022-10-15

SQLAlchemy 2.0.0 首个 Beta 版本已发布。SQLAlchemy 是一个 Python 的 SQL 工具包以及数据库对象映射 (ORM) 框架。它包含整套企业级持久化模式,专门用于高效和高性能的数据库访问。 发布公告写道,2.0 旨在适应现代化 Python 的实际使

2023-06-14

Dune 集成 与 Dune 的集成是 Melange 1.0 最大的任务。最近发布的 Dune 3.8,增加了对 Melange 的支持: 在 Melange 1.0 中,Dune 集成是官方支持的构建 Melange 项目的工作流程。它提供了强大的规则生成,静态资产支持(HTML / CSS / SVG),

2023-01-29

TypeScript 5.0 首个 Beta 测试版已发布。此版本带来了许多新功能,比如实现新的装饰器标准、更好地支持 Node 和打包工具中的 ESM 项目的功能、为库作者提供控制泛型推导 (generic inference) 的新方法、扩展 JSDoc 功能、简化配置,以及

2022-11-26

P010 和 HDR 支持 macOS Desk View 添加用于选择接收 Windows 测试版/发布候选版本的更新频道 下载地址和详细更新内容。

2023-10-29

OpenSSL 3.2 首个 Beta 版本已发布。 OpenSSL 3.2 实现了针对 QUIC 的初步客户端,QUIC 是 Google 开发的通用传输层网络协议,后来被 IETF 采用。 对于 OpenSSL 3.3 和明年的 OpenSSL 3.4,他们的目标是进一步完成此实现。 此外还增加了对 TLS 1.3

2022-12-08

Linux Mint 21.1 发布了首个 Beta 版本,为三个桌面环境提供了更新: Cinnamon – BETA Release MATE – BETA Release Xfce – BETA Release 下载地址:https://linuxmint.com/download_all.php Linux Mint 21.1 不是大版本更新,主要是集成 Linux 21 发布以来

2023-08-18

OBS Studio 30.0 发布了首个 Beta,此版本移除了对 Ubuntu 20.04, Qt 5 和 FFmpeg 4.4 之前版本的支持。 主要变化包括: 支持 WebRTC(详情查看 OBS Studio 支持 WebRTC,采用 Rust 实现) 重新设计状态栏,以便组织和结构化地管理内

2022-12-20

LibreOffice 7.5 首个 Beta 版本已发布,修复了自 alpha 以来的 116 个 issue,同时新增了 353 个 commit。 值得关注的新特性和变化: 优化深色主题 此版本显著改进在 Windows、macOS 和 Linux 上对深色和高对比度主题的支持。 使

2023-04-20

TypeScript 5.1 发布了首个 Beta 测试版。 主要变化 更智能地检查未定义返回值的函数(undefined-Returning Functions) 旧代码 function foo() { // no return } // x = undefined let x = foo(); //fine - we inferred that 'f1' returns 'void' function f1() { // no return

2023-01-07

Ronin 发布了 2.0 首个 Beta,公告称这是重大重构版本,已于今年 1 月 1 日开始公测,并计划在 2 月 1 日结束公测。 Ronin 是用于安全研究和开发的 Ruby 工具包,它包含许多不同的 CLI 命令和 Ruby 库,适用于各种安全场景,例如编码