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.
