On Thursday, 5 February 2015 at 11:05:42 UTC, Paulo Pinto wrote:
On Thursday, 5 February 2015 at 10:09:34 UTC, deadalnix wrote:
On Thursday, 5 February 2015 at 09:33:12 UTC, Paulo Pinto
wrote:
So the caller can break the contract without any
consideration for what values the input arguments are valid?!
There is a reason why the industry at large has adopted the
Eiffel way.
Yes, it is called cargo cult.
I am out.
Out of the rabbit hole, like Alice in Wonderland?
But you are right, of course. The caller should not be able to
subvert the contract. Only the build system should control
contract enforcement (e.g. the integration team, system architect
etc, not implementors)
The D design process is very much a cargo cult thing...
