Caml

Dialect of the ML programming language family

1985Appeared

static typing, inference typing, strong typingType system

4.07Latest version

Facts

Appeared: 1985
Type system: static typing, inference typing, strong typing
Latest version: 4.07 (July 1, 2018)
Kind: dialect
Paradigms: functional programming, imperative programming, multi-paradigm programming
Designed by: Gérard Huet
Developer: Institut National de Recherche en Informatique et en Automatique
Influenced by: ML
Influences listed: 1