For correctness, both Haskell and Erlang have Quick Check, which is simply fantastic. Quick Check is somewhat easier to use with stateless code, which favours Haskell over Erlang.
http://lampsvn.epfl.ch/trac/scala/ticket/2991
http://stackoverflow.com/questions/3313929/how-do-i-disambig...
(and does Orig. Commenter have examples of clojure hiccups? Interop is very important to both (and F#). Maybe a more meaningful compare/contrast is haskell, scala and F# (which I can't do)
http://matt.might.net/articles/best-programming-languages/
---------------
http://james-iry.blogspot.com/2010/05/types-la-chart.html
(his league table of "Most Powerful Type Systems": Agda, epigram, scala, haskell