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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-29 03:55:35 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newshub.sdsu.edu!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!harp.news.atl.earthlink.net!not-for-mail From: Marin David Condic 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 06:55:33 -0400 Organization: MindSpring Enterprises Message-ID: <3ED5E725.6080202@noplace.com> References: <3ec4b1c9$1@news.wineasy.se> <9fa75d42.0305161748.1735fc32@posting.google.com> <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net> <1053353256.804734@master.nyc.kbcfp.com> <3ECFF541.1010705@attbi.com> <3ED0B820.5050603@noplace.com> <3ED2096F.3020800@noplace.com> <3ED353BE.40605@noplace.com> <3ED49FA3.2030902@noplace.com> NNTP-Posting-Host: d1.56.b2.9c Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Server-Date: 29 May 2003 10:55:35 GMT User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en Xref: archiver1.google.com comp.lang.ada:37984 Date: 2003-05-29T10:55:35+00:00 List-Id: Perhaps you are right. However in the world I have to live in, we have found this behavior to be "A Good Thing". We have implemented packages that do this. It works nicely. Maybe we should have thought about needing a model and an interval and all that and decided it was impossible and abandoned the whole thing? :-) My point is that in real world situations saturated math is useful, and people do come up with ways of doing it. Let the language lawyers and mathematicians stew over if for a while and figure out how to incorporate it into their model. It would be a good thing to have in Ada rather than something that has to be cobbled on to the side of it in an inefficient and/or ugly manner. MDC Dmitry A. Kazakov wrote: > > 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! > -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jast.mil/ Send Replies To: m c o n d i c @ a c m . o r g "In general the art of government consists in taking as much money as possible from one class of citizens to give to the other." -- Voltaire ======================================================================