Category
page 1OCaml programming language family
OCaml
OCaml ( , formerly Objective Caml) is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.
F#
Microsoft programming language
F*
functional programming language inspired by ML and aimed at program verification
Reason
syntax extension and toolchain for OCaml
ATS
programming language