Definitions

1. proper noun

A general-purpose, multi-paradigm programming language developed in the late 1980s by Xavier Leroy, Damien Doligez, and others at INRIA.

“The software engineer decided to learn OCaml for its strong type system and functional programming features.”

2. noun

The OCaml programming language itself, or its community.

“The OCaml team is working on a new version with improved performance.”