http://matt.might.net/articles/best-programming-languages/

This write-up describes the basics of ocaml and haskell and some of their individual strengths. (along with scala and scheme)