On Thursday, 5 February 2015 at 11:43:28 UTC, Ola Fosheim Grøstad
wrote:
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...
I believe the Eiffel way, just like the industry does, with
endless tools
and processes that follow and validate DbC.
Since I don't have any use for D at work, besides being a
language geek, I don't see the point to argue for whatever might
be the outcome, other than producing noise and being part of the
problem.
So, I am out of this thread.
--
Paulo
