Another idiom I wish were gone from phobos/druntime

deadalnix via Digitalmars-d digitalmars-d at puremagic.com
Thu Feb 5 01:02:02 PST 2015


On Thursday, 5 February 2015 at 07:28:36 UTC, Paulo Pinto wrote:
> I miss the point about in.
>
> DbC as presentend by Eiffel and adopted in .NET, Ada among 
> others, the complete contract is on the  callee.
>
> It doesn't make sense otherwise.

There was a huge discussion here: 
https://issues.dlang.org/show_bug.cgi?id=6857

Long story short: it was done in Eiffel that way for 
implementation reason, other language are cargo culting eiffel, 
and putting in contract in the caller is the right thing to do.


More information about the Digitalmars-d mailing list