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,103b407e8b68350b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-02-04 06:33:32 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!colt.net!diablo.theplanet.net!news.indigo.ie!feeder.news.heanet.ie!not-for-mail
Newsgroups: comp.lang.ada
From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Subject: Re: Anybody in US using ADA ? One silly idea..
References: <1043938782.244443@master.nyc.kbcfp.com>
 <25ji3v8n915cnnnaqpjvm4f7i01a66r9pf@4ax.com>
 <1043949507.331484@master.nyc.kbcfp.com>
 <h1ck3vk2mnbo7r8kddsgdjfapha6lr28va@4ax.com>
 <1044025336.3067@master.nyc.kbcfp.com>
 <h96l3vsrtf76akihqdu61r9edeav442eig@4ax.com>
 <1044033063.693737@master.nyc.kbcfp.com>
 <2b9s3vo3bbnaikqd6d4jpppfflfq2kbgfu@4ax.com>
 <1044278793.419261@master.nyc.kbcfp.com>
 <lats3vchsfmpaqiid539c8l7q0293eelcf@4ax.com>
 <slrnb3v4ch.21e.Colin_Paul_Gloster@camac.dcu.ie>
 <e2ev3vop3gm2gi7q3m0k3eunsluf0i4v95@4ax.com>
Reply-To: Colin_Paul_Gloster@ACM.org
Message-ID: <slrnb3vjpr.eb3.Colin_Paul_Gloster@camac.dcu.ie>
User-Agent: slrn/0.9.7.0 (SunOS)
Organization: Dublin City University (DCU)
Cache-Post-Path: ns2-ext.dcu.ie!unknown@camac.dcu.ie
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
Date: 04 Feb 2003 14:33:31 GMT
NNTP-Posting-Date: 04 Feb 2003 14:33:31 GMT
NNTP-Posting-Host: 136.206.1.1
X-Trace: 1044369211 reader.news.heanet.ie 61614 [::ffff:136.206.1.1]:37052
Xref: archiver1.google.com comp.lang.ada:33766
Date: 2003-02-04T14:33:31+00:00
List-Id: <comp.lang.ada>

In news:e2ev3vop3gm2gi7q3m0k3eunsluf0i4v95@4ax.com , Dmitry A. Kazakov
wrote:
"Any procedure of unknown quality is unsafe. A fact that a procedure is
called somewhere will not make it more or less safe. [..]"

Inventing a datatype when you are writing/designing a program and using
just some of its procedures (which you have just invented) does not make
them safe, but you are more likely to notice if they are incorrect than
the unused procedures.
  
"[..]
>There are not used therefore they are useless.

Do you remember the last time you used Arccoth? Is it useless? Should
an Ada compiler implement it as exp, because the program I am writing
at the moment does not use it?"

Irrelevant. I am not advocating inventing datatypes whose subprograms I
know I will definitely not all use for the problem I am trying to solve,
but which I might use in a future program.

"Useless for a particular program /= useless for any possible program."

Agreed. But if some of the subprograms are never ever used, they were a
waste of effort.