>> HTML, SQL, C, Java, Objective-C, Prolog, Common Lisp, CLOS, J, Scheme, Ocaml, Haskell, Agda, Oz, Reversible programming, Quantum algorithms to name a few.

You miss out the rising stars of programming languages: Erlang and Clojure.