[Types-sig] RFC 0.1

Skip Montanaro skip@mojam.com (Skip Montanaro)
Fri, 17 Dec 1999 11:32:45 -0600 (CST)

    Tim> Optimizing compilers do this routinely under the covers, where the
    Tim> (misnamed in this case) "verification" code simply branches to a
    Tim> slower all-purpose translation of the code if the assumptions turn
    Tim> out to be false at runtime.

As does/did Self (without explicit type declarations)... ;-)