OCaml 5.0 Alpha 发布


在 Multicore OCaml 被合并进主线五个月后,以及 OCaml 4.14.0 发布三个月后,OCaml 5.0.0 发布了首个 Alpha 版本。

由于 OCaml 5.0 完全重写了 OCaml 运行时,这个 alpha 版本预计比常见的 alpha 版本更不稳定。特别是,字节码调试器 (bytecode debugger) 仅在下一个 alpha 版本中可用。同样,在下一个 alpha 版本中,内部 C runtime API 和编译器包安装的文件也会有一些变化。

官方还提到,OCaml 5.0 本身预计将是一个比平时更具实验性的版本。值得注意的是,原生编译器将仅在此 5.0 版本的 ARM64 和 x86-64 架构上可用。

虽然 alpha 版本存在不少问题,但对于早期用户和希望尝鲜的用户来说,OCaml 5.0 Alpha 已足够稳定。

简而言之,dune, merlin, ppxlib, utop, ocamlfind 和 ocamlbuild 可正常运行。此外,5.0 兼容 4.0 系列,任何顺序的 OCaml 4 库或程序在 OCaml 5 中应该都支持正常运行(不推荐使用的模块和函数除外)。

详情查看 Changelog。


相關推薦

2022-11-22

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

2023-09-26

Django 5.0 首个 alpha 版本已发布,标志着进入功能冻结阶段。 主要变化 Python 兼容性 Django 5.0 支持 Python 3.10、3.11 和 3.12。开发团队建议用户使用每个 Python 分支的最新版本。 此外,Django 4.2.x 系列是最后一个支持 Python 3.8 和

2022-05-31

Wayland 1.21 首个 Alpha 版本已发布,由于 Wayland 自身现在已相对稳定,并且没有太多的变动,而大部分繁重的工作(或 Wayland 支持库,如 libweston 和 wlroots)取决于各个 Wayland 合成器,Wayland 1.21 值得关注的一项新特性是添加对高精

2023-06-14

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

2023-07-18

CL 团队很高兴地宣布 KCL v0.5.0 新版本现在已经可用!本次发布为大家带来了三方面的重点更新:语言、工具链、社区集成 & 扩展支持。 使用功能更完善错误更少的 KCL 语言和 IDE 提升代码编写体验和效率 使用 KPM, KCL OpenAPI

2023-08-30

台。 张宏波本人不仅为多种编程语言做出了贡献,包括 OCaml、ReScript(原 ReasonML/BuckleScript)和 Flow,还曾是 Rescript 语言工具链几乎所有关键组件的作者,包括高速编译器、标准库以及构建系统等。 MoonBit 目前处于 Pre-alpha 阶段

2023-03-21

客工具等其他组件。它们混合了多种语言,如 C、Python、OCaml 甚至 Go,有些组件不知何故变得非常陈旧且不易维护。 至于选择 Rust ,团队也给出了相应的解释,首先是 Rust 同时带来性能和内存安全,这对于 XCP-ng 这样的虚拟化平

2022-03-26

) 才能继续接收更新。 .NET 5.0 不是 LTS 版本,因此将在发布 18 个月或下一个版本发布后的 6 个月后停止支持。当 .NET 5.0 支持终止时,使用此版本的应用程序仍可继续运行,但相关的漏洞可能不会获得修复,因为微软只为 .NET

2023-03-03

TypeScript 5.0 发布首个 RC 版本,从现在开始到 TypeScript 5.0 的稳定版本,除了关键的错误修复之外不会有进一步的变化。 5.0 版本实现了新的装饰器标准、更好地支持 Node 和捆绑器中的 ESM 项目的功能、库作者控制泛型推理的新方

2024-03-28

Podman 5.0 已正式发布。新版本针对 Windows 和 Mac 平台完全重写了代码,并对这两个平台上的虚拟机管理程序支持进行了重大改进。 Podman 5.0的一大亮点是对podman machine命令的彻底重写。该功能允许用户在Windows和Mac系统上启动Lin

2022-09-15

Godot 4.0 发布了第 17 个 Alpha 版本。 Godot 4.0 Alpha 17 主要变化: 新增了一个选项,支持在项目管理器 (Project Manager) 中把项目从 3.x 转换到 4.0 重构了 Android 输入处理 修复从 macOS 迁移到其他平台时,Ctrl/Cmd 键映射出现变化的

2023-02-28

、桌面环境、网络配置、网络共享资源。 EasyOS 5.0 正式发布,更新内容如下: 修复了将 PuppyPin 翻译成英文 在发布 easyOS 5.0 前的一些小调整 Global IP 电视面板更新 openssl 更新至 3.0.8 youtube-dl 下载器更新修复 容器中未翻

2023-10-15

Python 3.13.0 首个 alpha 已发布,目前处于非常早期的开发阶段。 本次发布的 Python 3.13 a1 是计划发布的七个 alpha 版本中的第一个。 发布 alpha 是为了更方便地测试新功能、修复错误,以及测试发布过程。请注意,这是一个预览版

2023-07-07

GNOME 45 首个 Alpha 已发布,稳定版则计划于 9 月发布。 与 GNOME 44 相比,GNOME 45 Alpha 的部分新变化包括: GNOME Shell 改进内置的屏幕记录器 (screen recorder) 修复 Mutter 合成器大量错误,改进对连接显示器的平板电脑的支持,以及