News for hackers. Stuff that matters.

A comment on What it's like to use Haskell. Parent comment

Re:What it's like to use Haskell by axman6 on Wednesday March 26, 2014 @08:11PM (#7477646)
Sure it does, you just need Quickcheck property based testing:

    forall $ \xs -> sorted (qsort xs :: [Int])
[ Parent | on HN ]
Re:What it's like to use Haskell by wnoise on Wednesday March 26, 2014 @09:06PM (#7477873)
That's not static.
[ Parent | on HN ]
Re:What it's like to use Haskell by dangirsh on Thursday March 27, 2014 @04:24PM (#7483190)
Or typing
[ Parent | on HN ]
Re:What it's like to use Haskell by axman6 on Thursday March 27, 2014 @11:46PM (#7485244)
No, it's not, but Haskell's type system is what allows quickcheck to work as well as it does. The implementations in other languages mostly lack a lot of the power provided by the type system.
[ Parent | on HN ]