OCaml. Industrial strength. Multi-paradigm.
OCaml is a great language for learning about languages. It embraces functional, imperative, and object oriented styles. It's based on ML, a language which informed the design of many rising languages such as Elm, Clojure, and Elixir. This language will teach us about an alternative universe where objects and functions play together like lions and lambs.