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,d89b08801f2aacae
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-07 15:10:48 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-xfer2.newshosting.com!nntp5.savvis.net!uunet!dfw.uu.net!ash.uu.net!spool0900.news.uu.net!reader0900.news.uu.net!not-for-mail
Message-ID: <3CD85124.8070005@mail.com>
Date: Tue, 07 May 2002 18:11:48 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US;
 rv:1.0rc1) Gecko/20020417
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is strong typing worth the cost?
References: <Xns91FEB85DCA09Cderekknosofcouk@62.253.162.108>
 <4519e058.0204290722.2189008@posting.google.com>
 <Xns91FFC7B971B88derekknosofcouk@194.168.222.64>
 <3CCE8523.6F2E721C@earthlink.net>
 <Xns9200929868B11derekknosofcouk@62.253.162.107>
 <3CCEB246.9090009@worldnet.att.net>
 <slrnadfggv.k8c.Colin_Paul_Gloster@camac.dcu.ie>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Cache-Post-Path: master.nyc.kbcfp.com!unknown@mosquito.nyc.kbcfp.com
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1020809446 reader0.ash.ops.us.uu.net 14337 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:23679
Date: 2002-05-07T18:11:48-04:00
List-Id: <comp.lang.ada>

Colin Paul Gloster wrote:
> Of course, even with fellow integer counts that would not be
> sensible. E.g. AppleCount and NumberOfPeoplePushingTheAppleCart. Even a
> C++ programmer could produce code (using fully fledged objects) to do
> the idiomatic (to Ada users) practise of divorcing integer metrics from
> each other if they are in separate domains, but normally a C++ lover would
> see this as overkill.

Which makes me think - in the recent specifications for containers
that were posted here, do the generics have a parameter for the
type used to count the members of the container? Otherwise when I
ask my LinkedListOfApples and my LinkedListOfCartPushers how many
things each contains I'll have to convert the result, and then I
could make the same mistake that a C++ programmer would.