FReT is a common lisp package for testing common lisp software. Version 0.3 is at present at least as functional as any such software publically available, but still far from complete.
For many years we've been using statically typed languages for the safety they offer. But now, as we all gradually adopt Test Driven Development, are we going to find that safety redundant? Will we therefore decide that the flexibility of dynamically typed languages is desirable?