- The name the language is now officially "OCaml", and this name is
used consistently in all the documentation and tool outputs. - Generalized Algebraic Data Types (GADTs): this is a powerful
extension of the type system that provides great flexibility and
power to the programmer. - A new and improved ARM back-end.
- Changes to first-class modules: type annotations can now be omitted
when packing and unpacking modules (and are inferred from context
whenever possible), and first-class modules can now be unpacked by
pattern-matching. - Support for randomized hash tables to avoid denial-of-service
vulnerabilities. - Installation of the compiler's internal libraries in
+compiler-libsfor easier access by third-party programming tools.
See also: detailed list of changes.