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-28 09:14:52 PST
Path: 
 archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!news.tufts.edu!uunet!dca.uu.net!ash.uu.net!spool0901.news.uu.net!spool0900.news.uu.net!reader0900.news.uu.net!not-for-mail
Date: Tue, 28 Jan 2003 12:14:43 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.3b) Gecko/20030116
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: <ga3q2vkds5akg0iaommdaniqp3ubo293pl@4ax.com>
 <ba162549.0301211055.17e3c1d8@posting.google.com>
 <gqiv2vgsto8tm9mbi0flii4vr594ui06fo@4ax.com>
 <1043339266.922562@master.nyc.kbcfp.com>
 <b0ttr4$s9ilj$1@ID-77047.news.dfncis.de>
 <7iLY9.2401$qb1.464@nwrddc01.gnilink.net>
 <jd0a3v8civ48r8b21vvo4cd56i1pfe9prs@4ax.com>
 <1043680098.61106@master.nyc.kbcfp.com>
 <3afc3v4uur2kvd53v4ul18b5npjfm188o3@4ax.com>
 <ba162549.0301280748.3ef3ed0b@posting.google.com>
 <2hbd3vs44v7q0tu2d6pmgdqrhl8nvvr21e@4ax.com>
In-Reply-To: <2hbd3vs44v7q0tu2d6pmgdqrhl8nvvr21e@4ax.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1043774082.601144@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: 1043774083 reader0.ash.ops.us.uu.net 11396 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:33501
Date: 2003-01-28T12:14:43-05:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> Why do you think that making related types [Ellipse and Circle]
> siblings (i.e. in fact unrelated) should provide the separation?

Why do you think that the program objects Ellipse and Circle are
related (as opposed to the mathematical objects, that is)? After
all, mathematical objects are immutable. You have a circle with
a given radius, or an ellipse with given axes. They don't come
with knobs.