This understanding shows also the flexibility that unit tests brings to the development cycle: contrary to type checks, they can be temporarily disabled so as t

This understanding shows also the flexibility that unit tests brings to the development cycle: contrary to type checks, they can be temporarily disabled so as to shorten the iteration loop when necessary, and re-enabled after adjustments have been made. (Contrast with long compile times which are incompressible)