[racket] Code that double checks is good, bad, other?

From: Raoul Duke (raould at gmail.com)
Date: Fri Oct 3 13:28:29 EDT 2014

in theory only the "top level" things should validate. by which i mean
those things which get input from something other than your own code.

the problem is when you re-work the code, do you know for sure that
you moved the contract/assertion/validation/checking appropriately.

test coverage can help there, in the absence of some AI looking over
your shoulder for you.

Posted on the users mailing list.