OCaml 5.5 Released
4 hours ago
- #OCaml
- #Programming
- #Release
- OCaml 5.5.0 introduces module-dependent functions, allowing modules as function arguments for lightweight functors.
- The compiler is now relocatable, enabling switches to be cloned without recompilation for faster setup.
- Higher-rank polymorphic functions can be defined directly using explicit type annotations in function arguments.
- New string functions for searching and replacing substrings are added, using constant-space algorithms.
- Generalized local definitions permit defining types, classes, or module types locally.
- External types enhance FFI interoperability by making types distinguishable for better GADT behavior.
- GC improvements include a sweep-only phase at major GC start and an idle phase for smoother performance.
- Windows implementation no longer relies on Winpthreads, with many incremental changes and bug fixes.