[Haskell-cafe] Refactoring recklessly

[Alec Berryman]

Greg Fitzgerald on 2006-12-12 11:24:58 -0800:

> I'd like to be able to reorganize my code and then verify that I didn't
> change any functionality.  That is, the old and new code have precisely the
> same meaning.
> 
> Also, I'd like to be able to change a function and verify that efficiency
> was the only thing affected.
> 
> Are either of these possible in Haskell or any language?

Use QuickCheck to generate parameters and compare return values for the
old and the new functions.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20061212/2d34bb21/attachment.bin