Contracts + Assert

[Lutger]

Mike Linford wrote:
> So in what cases would one prefer to use contracts over normal exception handling?

In theory, violation of contracts mean a program has a bug and 
exceptions may signify an exceptional circumstance, but never a bug. 
This should or could be useful for understanding the nature of the 
problem and implementing checks during development that are too costly 
in a released product.