Future of contract-based programming in D

[rumbu via Digitalmars-d]

On Tuesday, 7 April 2015 at 13:11:01 UTC, Ola Fosheim Grøstad 
wrote:
> On Tuesday, 7 April 2015 at 12:51:45 UTC, Delirius wrote:
>> I know no other production ready  language which has this 
>> level of support, except the original gangsta Eiffel but the 
>> only
>
> Ada2012? Some languages use "require" and "ensure" or a similar 
> notion in the body of  a function for pre/post conditions.
>
> I have no idea where D contracts go, but the current 
> in/out/body syntax is too noisy to be worth using IMO.

Contracts in C# are implemented using attributes: 
https://msdn.microsoft.com/en-us/library/dd264808%28v=vs.110%29.aspx?f=255&MSPPError=-2147217396

Personally, I think that the D contracts looks nicer, but they 
are not so versatile like an attribute solution.