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,FREEMAIL_FROM
	autolearn=ham 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 07:10:27 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!freenix!fr.usenet-edu.net!usenet-edu.net!bnewspeer01.bru.ops.eu.uu.net!emea.uu.net!cleanfeed.casema.net!leda.casema.net!news2.euro.net!ash.uu.net!spool0902.news.uu.net!not-for-mail
Date: Tue, 04 Feb 2003 10:10:24 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.3b) Gecko/20030130
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
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>
In-Reply-To: <e2ev3vop3gm2gi7q3m0k3eunsluf0i4v95@4ax.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1044371424.691675@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1044371425  580 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:33768
Date: 2003-02-04T10:10:24-05:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> 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?
> 
> Useless for a particular program /= useless for any possible program.

I repeat - I am writing a procedure, not a type. That procedure takes
a parameter, and the procedure requires that the parameter supports a
certain set of operations. You want me to force that parameter to have
more operations than the procedure needs. I *still* don't understand
why. To answer your question, I have never created a type that was
required to have an Arccoth operation. I would be annoyed if, for
example, the vector class template that I use required that the type
of the held object must support Arccoth. This does not make the
Arccoth operation useless.