Skip to main content

Use for questions about the language formerly known as Objective Caml, an implementation of the Caml programming language

OCaml (formerly known as Objective Caml) is an implementation of Caml (Categorical Abstract Machine Language) with an additional object-oriented layer. Its features include:

  • Functional programming
  • Strong typing
  • Static typing
  • Type inference
  • Polymorphism
  • Pattern matching
  • Modules
  • Objects
  • Separate compilation

Further Information