ocaml:
OCaml is a strict statically-typed functional programming language, focusing on expressiveness, correctness and efficiency.
OCaml is a strict statically-typed functional programming language, focusing on expressiveness, correctness and efficiency.