Future of contract-based programming in D

[via Digitalmars-d]

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.