OCaml 

OCaml is a functional, imperative and object-oriented programming language that features strong static typing, automatic type inference and program modularity. It has a range of applications from academic research to a variety of industrial sectors. OCaml includes two compilers and an execution environment and is part of a vast ecosystem via the OPAM package manager. It has evolved non-stop since 1996 but has ensured the continuity of programmes written in this language.