Hey guys, who can tell me more detail about Ocaml?
OCaml is a dialect of Meta Language (ML), created by INRIA, the national
research institute of France, in 1985. OCaml is a dialect of Meta Language, initial task of ML is an automatic
theorem proving, whereas OCaml was created as an application programming
language.
You can read more detail in their Technical paper:
https://media.republia.io/republia-techpaper-en.pdf