Sadly, there hasn't been too much progress in the last 20 years -- the best are still the Lisp variants (Common Lisp, Scheme, Racket, Clojure) and the ML variants (Standard ML, OCaml, F#, Haskell).
You get ultimate flexibility and malleability with the former and elegant correctness with the latter.
You get ultimate flexibility and malleability with the former and elegant correctness with the latter.