Thanks all, I was on the fence but I think I'll check out DBC after all.


On 22 July 2014 14:57, Wayne Conrad <kf7qga / gmail.com> wrote:

> 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
>



-- 
== If you're doing it alone, you're probably doing it wrong ==