On Thursday, 5 February 2015 at 17:32:23 UTC, deadalnix 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.
To be frankly brutal, you were never in. You presented no
argument.
I did, by stating that the way Eiffel does is how it is supposed
to be.
Also mentioned that by giving the callers control over
pre-conditions is breaking the notion of what Design by Contract
stands for. If the caller can disable pre-conditions of the
callee, then the premisses of Design by Contract just go out of
the window.
I was dry with my statement, because by calling the verification
industry as cargo cultists, I could only depreend no argument on
my side would change your opinion.
As far as I can tell, D in production doesn't even reach 1% of
production systems out there coded in Eiffel, Ada 2012, .NET Code
Contracts, Spec# and Dafny uses at MSR, Dbc at NASA, Dbc at
Lockheed Martin and so on, wherever it is used.
Yet, here goes the discussion against what production quality
systems have been delivering because they are all wrong and its
developers are plain cargo cultists.
Anyway, as a simple D dabbler I should learn to keep quiet, as I
am just adding noise to the NG.
--
Paulo
