On Saturday, 2 August 2014 at 06:01:30 UTC, Walter Bright wrote:
As to the substance of your question, I can't do it proper
justice in a few lines. It's an important issue, and it is
worthwhile to thoroughly understand it, especially for the kind
of programming you do and the leading role you have in it.
For that I recommend "Object Oriented Software Construction" by
Meyers.
http://www.amazon.com/Object-Oriented-Software-Construction-Book-CD-ROM/dp/0136291554/
Don't let the OOP title throw you off. It is a very thorough
treatment of contract programming, and the rules and their
rationales, but in a readable manner. You won't be sorry you
read it. It's only $34 used, a bargain.
Thanks, will read!
