On 07/22/2014 06:38 AM, Brian Knapp wrote:
>
> In general, with stronger guarantees around input and output, you have 
> to write fewer tests.
>
I think that's true.  Another way to look at it is that you've moved 
some checks from the formal test into the code-under-test.  You can also 
view static type checking the same way: It moves some checks into the 
code (but not just that: static type notations also aids in reading the 
code).  Not coincidentally, one of the DBC gems in this thread seems to 
be used primarily to add type checking.

Wayne Conrad