[Haskell-cafe] Haskell performance (again)!

[Duncan Coutts]

On Sun, 2006-10-08 at 15:25 -0700, Jason Dagit wrote:

> Another good idea when you have a pretty version which is easy to
> verify for correctness and an ugly version that is harder to verify is
> to use QuickCheck or SmallCheck and define a property that says both
> versions are equal for all inputs.  Ugly code is notorious for holding
> bugs, but doing this would help test the ugly code.

This is exactly how we tested Data.ByteString and to great effect I
think. We uncovered loads of bugs during testing. The few bugs uncovered
by our users since it has been released have invariably been in things
we didn't have QC properties for.

Duncan