From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b78c363353551702 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.223.40 with SMTP id qr8mr4126616pbc.0.1340385878445; Fri, 22 Jun 2012 10:24:38 -0700 (PDT) Path: l9ni7573pbj.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: about the new Ada 2012 pre/post conditions Date: Fri, 22 Jun 2012 19:24:28 +0200 Organization: cbb software GmbH Message-ID: References: <1hgo6aks03zy.by4pq4xbjsgf$.dlg@40tude.net> <1jvy3elqtnd1j.1sjbk32evhp1f$.dlg@40tude.net> <4fe45ce8$0$9508$9b4e6d93@newsspool1.arcor-online.net> <1v3soeviat3z1.f0iwle9giqwk.dlg@40tude.net> <4fe4819d$0$9525$9b4e6d93@newsspool1.arcor-online.net> <4fe4a11d$0$9515$9b4e6d93@newsspool1.arcor-online.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: q1gJPV1SC/KP9ydRbYoWiw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Date: 2012-06-22T19:24:28+02:00 List-Id: On Fri, 22 Jun 2012 18:45:16 +0200, Georg Bauhaus wrote: > On 22.06.12 17:05, Dmitry A. Kazakov wrote: >> On Fri, 22 Jun 2012 16:30:52 +0200, Georg Bauhaus wrote: >> >>> On 22.06.12 14:43, Dmitry A. Kazakov wrote: >>>> On Fri, 22 Jun 2012 13:54:16 +0200, Georg Bauhaus wrote: >>>> >>>>> On 22.06.12 09:23, Dmitry A. Kazakov wrote: >>>>>> Neither #1 nor #2 is defendable. >>>>> >>>>> Maybe dynamic checking is not defendable when the attack is >>>>> based on some biased, and, frankly, narrow set of assumptions. >>>> >>>> Sure, the most effective defence is just not to take any position. You >>>> might get exposed otherwise. >>> >>> Who isn't taking a position? >> >> You. > > I don't think that #1 xor #2 can be the basis of a meaningful > discussion of DbC, because of the frames of reference. #1 and #2 are mutually exclusive and complete. The rest is hand waving. >> (He was ready to debunk use of exceptions, to dismiss design of Ada I/O. > > A similar comment on omitting exceptions might be circulated with Parasail, > I think. The same Robert Dewar, lecturing at MIT, praises exceptions, > comparing them to C's solution (checking return values all along). > > Could this conviction and readiness to debunk exceptions be > a consequence of running a particular business, the small and > profitable niche of immensely well funded high tech? Robert Dewar seem to consider exceptions as manifestations of contract violations. That immediately leads to rejection of exceptions, on the obvious basis that the contracts must be respected. The next step is, of course, that any program raising exceptions is illegal. This is the point where the proponents of #2 providently disconnect, because legality is to be checked statically. >> People could do anything in order to save dynamic checks! (:-)) > > Can you report the gist of the argument? I cannot honestly summarize his argument, because as I said, there is no way to make it. It is inconsistent. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de