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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,66fae8c862b81b17
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.224.138.142 with SMTP id a14mr5206216qau.4.1352105425682;
        Mon, 05 Nov 2012 00:50:25 -0800 (PST)
Received: by 10.52.97.101 with SMTP id dz5mr1198517vdb.2.1352105425563; Mon,
 05 Nov 2012 00:50:25 -0800 (PST)
Path: 
 gf5ni18188417qab.0!nntp.google.com!c7no6879428qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 5 Nov 2012 00:50:25 -0800 (PST)
In-Reply-To: <uti0vhlidr0b$.4tkmig1870rr$.dlg@40tude.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=195.182.34.201;
 posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 195.182.34.201
References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.com>
 <k6rk3m$fu6$1@dont-email.me>
 <559eb706-9bb1-496d-9034-1984d693531a@googlegroups.com>
 <op.wm48fcpwule2fv@cardamome>
 <5460fdc7-5490-4889-b771-67cc281c10c5@googlegroups.com>
 <op.wm56yo11ule2fv@cardamome>
 <f37a66a6-3cca-4f4c-85ce-efb95ca4af57@googlegroups.com>
 <op.wm7fsuxjule2fv@cardamome> <op.wm7f72j3ule2fv@cardamome>
 <6260a796-83c4-4ce5-88cb-8249846bc035@googlegroups.com>
 <10y91ckm54l57$.8u8bbq342u1b.dlg@40tude.net>
 <2164bc1a-a841-46ed-bfef-4ddcae4d64f7@googlegroups.com>
 <uti0vhlidr0b$.4tkmig1870rr$.dlg@40tude.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1ccf2169-418c-44b7-9d5a-b684a017fbe7@googlegroups.com>
Subject: Re: Copy vector in Ada
From: Maciej Sobczak <see.my.homepage@gmail.com>
Cc: mailbox@dmitry-kazakov.de
Injection-Date: Mon, 05 Nov 2012 08:50:25 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Date: 2012-11-05T00:50:25-08:00
List-Id: <comp.lang.ada>

W dniu poniedzia=C5=82ek, 5 listopada 2012 09:31:13 UTC+1 u=C5=BCytkownik D=
mitry A. Kazakov napisa=C5=82:

> > It is not "clearly" to me. Assigning Rectangles to Triangles does not m=
ake any sense.
>=20
> Does the example presume that both are in the same hierarchy of types, e.=
g.
> "shape"? Whether assignment makes sense depends on that.

You can always imagine arbitrary meanings of "assignment" and implement it,=
 like:

D : Date;

D :=3D "tomorrow";

But we are diverting from the subject of whether limitedness and assignment=
 are supported consistently and orthogonally to other language features.

> > I also mean what the programmer might possibly provide - Rectanges vs. =
Triangles and so on.
>=20
> He will replace a triangular shape with a rectangular one.

Wrong. The existing alias of Trangle'Class will break.

> You make some assumptions about the semantics of
> assignment, which may or may not hold. Again, it is not the language
> business.

Yes. Let's agree that the language should allow this possibility.
We are still diverting from the subject of whether the existing solution is=
 elegant and orthogonal with respect to other language features.

--=20
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com