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=-1.9 required=5.0 tests=BAYES_00,XPRIO
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Intervention needed?
Date: Tue, 2 Apr 2019 17:07:24 -0500
Organization: JSA Research & Innovation
Message-ID: <q80met$bfn$2@franka.jacob-sparre.dk>
Injection-Date: Tue, 2 Apr 2019 22:07:25 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="11767"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader01.eternal-september.org comp.lang.ada:56049
Date: 2019-04-02T17:07:24-05:00
List-Id: <comp.lang.ada>

[Header too long again. - RLB]

"Anh Vo" <anhvofrcaus@gmail.com> wrote in message
news:4b2b0543-1125-4a80-9a94-abca08e60b7d@googlegroups.com...
> On Tuesday, April 2, 2019 at 1:30:25 AM UTC-7, Dmitry A. Kazakov wrote:
>> On 2019-04-01 23:42, Randy Brukardt wrote:
>> > "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> > news:q7tfi3$1483$1@gioia.aioe.org...
>> >> On 2019-04-01 17:13, Optikos wrote:
>> >>
>>
>> > For Janus/Ada, I'm working toward having (optional) warnings for the
>> > raise
>> > of any exception; that, combined with warnings-as-error mode can give
>> > the
>> > effect of preventing any exceptions other than ones explicitly
>> > expected.
>> > It's pretty much all that can be done within Ada as it stands. But that
>> > is
>> > not as good as an exception contract (especially as exceptions that you
>> > want
>> > to raise become a pain).
>>
>> Right, and unanticipated exceptions is a major contributor of bugs in
>> Ada. It is not so that exceptions cause bugs, rather bugs manifest
>> themselves as exceptions. If one could contract them most of the bugs
>> will not pass through the compiler.
>
> Then, all bugs will be caught after they manifest themselves as
> exceptions. This is
> a brilliant idea. As the result, debugger is needed much less in the
> future.

Does anyone spend much time in a debugger when writing Ada? Almost all of
the time I do it is to track down compiler bugs (hopefully something that
the average Ada user doesn't do often). With the default exception
information, there is little need to debug anything the majority of the
time.

Certainly, moving detection to compile-time is even better. But I don't see
that changing the mostly non-existent use of debuggers much.

                                                Randy.