Editing OCaml (section)

=== Ongoing development ===
Language improvements have been incrementally added for the last two decades to support the growing commercial and academic codebases in OCaml.<ref name=":1"/> The OCaml 4.0 release in 2012 added Generalized Algebraic Data Types (GADTs) and first-class modules to increase the flexibility of the language.<ref name=":1"/> The OCaml 5.0.0 release in 2022<ref>{{Cite web |title=Release of OCaml 5.0.0 OCaml Package |url=https://ocaml.org/news/ocaml-5.0 |access-date=2022-12-16 |website=OCaml |language=en}}</ref> is a complete rewrite of the language runtime, removing the [[Global interpreter lock|global GC lock]] and adding [[Effect system|effect handlers]] via [[delimited continuations]]. These changes enable support for [[Parallel programming model#Shared memory|shared-memory parallelism]] and [[color-blind concurrency]], respectively.

OCaml's development continued within the Cristal team at INRIA until 2005, when it was succeeded by the Gallium team.<ref>{{Cite web |title=Projet Cristal |url=http://cristal.inria.fr/ |access-date=2022-10-07 |website=cristal.inria.fr}}</ref> Subsequently, Gallium was succeeded by the Cambium team in 2019.<ref>{{Cite web |title=Gallium team - Home |url=http://gallium.inria.fr/ |access-date=2022-10-07 |website=gallium.inria.fr}}</ref><ref>{{Cite web |title=Home |url=http://cambium.inria.fr/ |access-date=2022-10-07 |website=cambium.inria.fr |language=en}}</ref> As of 2023, there are 23 core developers of the compiler distribution from a variety of organizations<ref>{{cite web|url=https://ocaml.org/governance/compiler|title=OCaml compiler governance and membership|year=2023}}</ref> and 41 developers for the broader OCaml tooling and packaging ecosystem.<ref>{{cite web|url=https://ocaml.org/governance|title=OCaml governance and projects|year=2023}}</ref> In 2023, the OCaml compiler was recognised with [[SIGPLAN|ACM SIGPLAN's Programming Languages Software Award]].