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.