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-01-31 07:11:55 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newspeer.radix.net!uunet!ash.uu.net!spool0902.news.uu.net!not-for-mail
Date: Fri, 31 Jan 2003 10:11:44 -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: <7iLY9.2401$qb1.464@nwrddc01.gnilink.net>
 <jd0a3v8civ48r8b21vvo4cd56i1pfe9prs@4ax.com>
 <1043680098.61106@master.nyc.kbcfp.com>
 <3afc3v4uur2kvd53v4ul18b5npjfm188o3@4ax.com>
 <1043773909.385612@master.nyc.kbcfp.com>
 <q64f3v4211gtjrcnrek80ctlbi9ilbkvm7@4ax.com>
 <1043855067.848326@master.nyc.kbcfp.com>
 <m6uf3vkuvohdv99t5vqvcg4hgev1ub6neb@4ax.com>
 <1043938878.313737@master.nyc.kbcfp.com>
 <rski3vor157ha7intcpu0f4cp40eclqima@4ax.com>
 <1043949677.919365@master.nyc.kbcfp.com>
 <n5dk3v04fanl66tkb9ulsafsmtqnnv2105@4ax.com>
In-Reply-To: <n5dk3v04fanl66tkb9ulsafsmtqnnv2105@4ax.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1044025904.464559@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: 1044025905  9994 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:33643
Date: 2003-01-31T10:11:44-05:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> In the spirit of this definition int is an in-subtype of double

No, it is not, assuming the universe of allowed operations on
doubles. The compiler converts the int to a double, but the int
itself is not a double. As I have been saying in my other messages,
in the conventional OO view, a subtype is simultaneously its own
type and all of its base types, and no conversion is required when
viewing it as a base type. This is manifestly not the case for int
and double.

You persist in using your own definitions for these terms,
which will cause confusion for people who are not immersed
in this thread. Most importantly, Ada, C++, and Java don't
share your view, so people familiar with those languages
and unfamiliar with you will not kknow what's going on.