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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-29 02:14:40 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.uchicago.edu!newsswitch.lcs.mit.edu!newsfeed.mathworks.com.MISMATCH!newsfeed!fu-berlin.de!uni-berlin.de!dialin-145-254-039-049.arcor-ip.NET!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the Ada
 mandate, and why it collapsed and died))
Date: Thu, 29 May 2003 11:17:02 +0200
Organization: At home
Message-ID: <bb4j1u$5juvr$1@ID-77047.news.dfncis.de>
References: <3ec4b1c9$1@news.wineasy.se>
 <AFdxa.3805$3t6.46222@news.xtra.co.nz>
 <9fa75d42.0305161748.1735fc32@posting.google.com>
 <Ygixa.86459$cO3.5860233@bgtnsc04-news.ops.worldnet.att.net>
 <URWxa.143$Ov2.92@nwrddc04.gnilink.net>
 <ba9toc$qorbc$2@ID-175126.news.dfncis.de>
 <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net>
 <baa486$qgclv$1@ID-175126.news.dfncis.de>
 <1053353256.804734@master.nyc.kbcfp.com>
 <baapuj$qs1sv$1@ID-175126.news.dfncis.de>
 <wccbrxxsinx.fsf@shell01.TheWorld.com>
 <badvd5$raumj$1@ID-175126.news.dfncis.de>
 <wcc65o5bdib.fsf@shell01.TheWorld.com> <vcqfcmacq3r461@corp.supernews.com>
 <Gdeza.49896$zt.17929@nwrdny01.gnilink.net>
 <vcsqis9d21of7@corp.supernews.com> <3ECFF541.1010705@attbi.com>
 <3ED0B820.5050603@noplace.com> <m59Aa.14549$fT5.5136@nwrdny01.gnilink.net>
 <3ED2096F.3020800@noplace.com> <WPqAa.18139$fT5.7613@nwrdny01.gnilink.net>
 <3ED353BE.40605@noplace.com> <bb1rj3$4prtl$2@ID-77047.news.dfncis.de>
 <3ED49FA3.2030902@noplace.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: dialin-145-254-039-049.arcor-ip.net (145.254.39.49)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: fu-berlin.de 1054199679 5897211 145.254.39.49 (16 [77047])
User-Agent: KNode/0.7.1
Xref: archiver1.google.com comp.lang.ada:37975
Date: 2003-05-29T11:17:02+02:00
List-Id: <comp.lang.ada>

Marin David Condic wrote:

> That's an interesting analysis, but I don't know that we'd need to get
> that complex. Your basic floating, fixed and integer types have all the
> syntax they need to get the job done. They just need a variant that
> defines a different accommodation in the event that you assign a value
> that exceeds one of the bounds - saturation instead of an exception.

Numeric types are not just abstract ideas. They model real mathematical 
things. An exceptional state simply indicates when the model gets 
inadequate. So you cannot say: let us make something else instead of 
raising an exception. You *have* to change the subject of modelling, to be 
not a number, but an interval, a fuzzy number etc. Your saturated number is 
not a number!

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de