OCaml By Examples

Ocaml is a concise, performant, statically typed, and pure functionnal language. See Why the next language you learn should be functional (2011).