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,1dd28d5040ded1f8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-15 11:29:20 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!spool0900.news.uu.net!reader0901.news.uu.net!not-for-mail
Message-ID: <3CE2A946.5030808@mail.com>
Date: Wed, 15 May 2002 14:30:30 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US;
 rv:1.0rc2) Gecko/20020510
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Announce: Grace project site operational
References: <4519e058.0205140718.3ddb1b2a@posting.google.com>
 <X7cE8.1439$fv.108467406@newssvr14.news.prodigy.com>
 <slrnae2kjt.4m1.randhol+abuse@kiuk0156.chembio.ntnu.no>
 <slrnae2ksi.4m1.randhol+abuse@kiuk0156.chembio.ntnu.no>
 <3CE15D0A.3050100@mail.com> <2s44eu0fm4g6606h9p4stb1b5oc0nmg5u8@4ax.com>
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: 1021487359 reader1.ash.ops.us.uu.net 19583 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:24110
Date: 2002-05-15T14:30:30-04:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
 > I believe that an improvement of Ada's ADT/OO gears is
 > much more important than any investments in inherently
 > flawed generics-templates-macros.

There were no macros in my C++ code, and there are no macros
in Ada. Generics/templates are not inherently flawed.

> Generally, I dislike any type-based solution of the unit problem.
> I believe that the right way is a subtype-based, OO-ish one.

Yes, that seems to go along with your "inherently flawed".
You're wrong, because units exist, even in the real world,
only to serve as type tags. The operations on them are just
pure arithmetic on the values they represent; the unit itself
plays no part in the calculation. (Aside from the silly biased
temperature units, which are just dispensed with by working in
Kelvin.) I fail to see the need for any OO approach to units.
What are you placing in derived types which is different from
the base type? Why do you want run-time dispatching?