3 ms·I think you are missing the recursive calls ;).by danieldk 13y agoI think you are missing the recursive calls ;).emillon 13y agoIndeed! Hey, who said that static typing caught all bugs ? :)axman6 13y agoSure it does, you just need Quickcheck property based testing: forall $ \xs -> sorted (qsort xs :: [Int])wnoise 13y agoThat's not static.dangirsh 13y agoOr typingaxman6 13y agoNo, 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.