News for hackers. Stuff that matters.

A comment on High-Performance Web Applications in Haskell. Parent comment

Re:High-Performance Web Applications in Haskell by chalst on Wednesday April 06, 2011 @05:54AM (#2414501)
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://www.cse.chalmers.se/~rjmh/QuickCheck/

[ Parent | on HN ]
Re:High-Performance Web Applications in Haskell by gtani on Wednesday April 06, 2011 @07:55AM (#2414729)
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

[ Parent | on HN ]
Re:High-Performance Web Applications in Haskell by seancribbs on Friday April 08, 2011 @08:34AM (#2423468)
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).
[ Parent | on HN ]