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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,5af5c381381ac5a7
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!87.79.20.105.MISMATCH!news.netcologne.de!ramfeed1.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 28 May 2010 21:05:00 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.1.9) Gecko/20100317 Thunderbird/3.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada requires too much typing!
References: <htnk3r02s27@drn.newsguy.com> <op.vdek5asaule2fv@garhos>
 <nospam-06CBB9.11520928052010@news.aioe.org>
 <so4mlszhy5m1.t4aa7eoouwee$.dlg@40tude.net>
In-Reply-To: <so4mlszhy5m1.t4aa7eoouwee$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4c0013dc$0$6992$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 28 May 2010 21:05:00 CEST
NNTP-Posting-Host: b48d59f8.newsspool4.arcor-online.net
X-Trace: 
 DXC=MAO_l_lAOA<d8Nb@@ZG@b=4IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;0EgZNDi?V7:nc\616M64>:Lh>_cHTX3j=nlh;;CEHh4?
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:12134
Date: 2010-05-28T21:05:00+02:00
List-Id: <comp.lang.ada>

On 28.05.10 19:31, Dmitry A. Kazakov wrote:
> On Fri, 28 May 2010 11:52:09 -0400, John B. Matthews wrote:
> 
>> In Java, the presence of a suitable handler for checked exceptions is 
>> enforced at compile-time:
>>
>> <http://java.sun.com/docs/books/jls/third_edition/html/exceptions.html#11.2>
>>
>> The feature may be regarded as controversial:
>>
>> <http://java.sun.com/docs/books/tutorial/essential/exceptions/runtime.html>
> 
> BTW, this is the same issue as with Eiffel's "contracts" and Ada's
> assertions. The problem is misuse of exceptions:
> 
> 1. IF the exception is a part of the contracts <=> the client is supposed
> to handle it, THEN it must be checked.
> 
> 2. IF no client can handle it, THEN it shall not be, the program must
> rather abort itself or break into the debugger. 

2. is what Eiffel programs do, but the compiler does not check
the presence of exception handlers for postconditions that
may fail (and thus raise an exception).  If it did, will it not
mean exception handlers pretty much everywhere?