[boost] Re: Invariants Library

From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2004-01-03 20:15:20

> > Other people disagree:
> >
> > http://www.digitalmars.com/ctg/designbycontract.html
> >
> > Quote:
> >
> > "Currently, contracts rely on the assert() macro aborting the program
with a
> > message. Perhaps this needs to be revisited, and changed to throw an
> > exception instead. "
> >
> > http://archive.eiffel.com/doc/manuals/technology/contract/
> >
> > Quote:
> >
> > "The benefits of Design by Contract include the following: [...] A
technique
> > for dealing with abnormal cases, leading to a safe and effective
language
> > construct for exception handling."
> >
>
> Frankly, I don't give a damn what the guy at Digital Mars says.

Not a very constructive argument. :-)

Then what about the guys a Eiffel.com?

br

Thorsten