5 ms·

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.