12 Dec
2006
12 Dec
'06
2:31 p.m.
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.