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: a07f3367d7,5af5c381381ac5a7
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!newsfeed.freenet.ag!news.netcologne.de!ramfeed1.netcologne.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada requires too much typing!
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <htnk3r02s27@drn.newsguy.com> <op.vdek5asaule2fv@garhos>
 <nospam-06CBB9.11520928052010@news.aioe.org>
Date: Fri, 28 May 2010 19:31:21 +0200
Message-ID: <so4mlszhy5m1.t4aa7eoouwee$.dlg@40tude.net>
NNTP-Posting-Date: 28 May 2010 19:31:16 CEST
NNTP-Posting-Host: 63eaf349.newsspool4.arcor-online.net
X-Trace: 
 DXC=We?=_[BlT:7n`gW2MTm]<34IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;k;l04HU8DN<[6LHn;2LCV>[<mhadbfdU;<4QQK9Q0h\148cIRHd;i94
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:12133
Date: 2010-05-28T19:31:16+02:00
List-Id: <comp.lang.ada>

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. 

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de