Typing can be seen as just a way of creating automatically some unit tests you probably haven't bothered creating. Types are useful when they don't get in the

Typing can be seen as just a way of creating automatically some unit tests you probably haven't bothered creating. Types are useful when they don't get in the way. As are method contracts.