OCaml

Functional Pragma

First appeared: 1996Designed by: Xavier Leroy, and others

A multi-paradigm language extending Caml with object-oriented features, known for a powerful type system and efficient native compilation.

Links

Multi-paradigmFunctionalOOP

let () = print_endline "Hello, World!"

Developed at INRIA, first released in 1996. Used by Jane Street for financial trading systems. Reason and ReScript derive from OCaml.

Type system: Static

Package Managers

opamDune

Frameworks

DreamOpiumIrmin