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.
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
