4 ms·

Indeed! Hey, who said that static typing caught all bugs ? :)

• axman6 13y ago
  Sure it does, you just need Quickcheck property based testing: forall $ \xs -> sorted (qsort xs :: [Int])
  • wnoise 13y ago
    That's not static.
  • dangirsh 13y ago
    Or typing
    • axman6 13y ago
      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.