OCaml

OCaml is a multi-paradigm and functional programming language that first appeared in 1996.

Paradigms
Functional, Imperative
First appeared
1996
Reference
Wikipedia article