25 days ago
- OCaml 5.5.0 引入了模块依赖函数，允许模块作为函数参数，实现轻量级函子功能。
- 编译器现在可重定位，无需重新编译即可克隆开关，以加速设置过程。
- 高阶多态函数可直接通过函数参数中的显式类型注解定义。
- 新增了用于搜索和替换子字符串的字符串函数，采用常量空间算法。
- 广义局部定义允许在局部定义类型、类或模块类型。
- 外部类型增强了FFI互操作性，通过使类型可区分来改进GADT行为。
- 垃圾回收改进包括在主要GC开始时引入仅清理阶段和空闲阶段，以实现更平滑的性能。
- Windows实现不再依赖Winpthreads，并进行了许多增量更改和错误修复。