For more correctness, scala has had interop hiccups

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