3 ms·

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

• gtani 16y ago
  For more correctness, scala has had interop hiccups http://lampsvn.epfl.ch/trac/scala/ticket/2991 http://lampsvn.epfl.ch/trac/scala/ticket/2991 http://stackoverflow.com/questions/3313929/how-do-i-disambiguate-in-scala-between-methods-with-vararg-and-without 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://matt.might.net/articles/best-programming-languages/ --------------- http://james-iry.blogspot.com/2010/05/types-la-chart.html http://james-iry.blogspot.com/2010/05/types-la-chart.html (his league table of "Most Powerful Type Systems": Agda, epigram, scala, haskell
• seancribbs 16y ago
  On the contrary, QuickCheck is brilliant at testing stateful systems, as long as you can model the actions that occur and how they modify state (statem in eqc helps here).