Invariant and pre/post-conditions order

[Walter Bright]

On 1/20/2012 10:42 AM, Manfred Nowak wrote:
> if the intention still is, that contracts are to be seen as an
> executable description of at least parts of the design, then the
> current specification of the language does not give any control over
> those contracts to the designers.
>
> This is because the coder can easily change the contracts and then the
> designer would have a hard time to find that modifications.

D isn't a language that is designed to prevent deliberate subversion - only 
inadvertent subversion.


> This could be changed for eaxmple by compiling the contracts into a
> separate library but seems not to be supported.
>
> Are there other ways to garantie, that the code the coder delivers to
> the designer indeed fulfills the requirements the designer gave before
> handing out the job?

You can have your contracts call functions in an external library.