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 a14mr4514585qau.4.1352062153158; Sun, 04 Nov 2012 12:49:13 -0800 (PST) Received: by 10.236.116.67 with SMTP id f43mr471376yhh.13.1352062153118; Sun, 04 Nov 2012 12:49:13 -0800 (PST) Path: gf5ni18188417qab.0!nntp.google.com!c7no6276797qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 4 Nov 2012 12:49:13 -0800 (PST) In-Reply-To: <10y91ckm54l57$.8u8bbq342u1b.dlg@40tude.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.171.80.166; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 46.171.80.166 References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.com> <559eb706-9bb1-496d-9034-1984d693531a@googlegroups.com> <5460fdc7-5490-4889-b771-67cc281c10c5@googlegroups.com> <6260a796-83c4-4ce5-88cb-8249846bc035@googlegroups.com> <10y91ckm54l57$.8u8bbq342u1b.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <2164bc1a-a841-46ed-bfef-4ddcae4d64f7@googlegroups.com> Subject: Re: Copy vector in Ada From: Maciej Sobczak Cc: mailbox@dmitry-kazakov.de Injection-Date: Sun, 04 Nov 2012 20:49:13 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Date: 2012-11-04T12:49:13-08:00 List-Id: W dniu niedziela, 4 listopada 2012 08:25:11 UTC+1 u=C5=BCytkownik Dmitry A.= Kazakov napisa=C5=82: > > No and I don't even intend to do it. Mixing assignment with polymorphis= m > > is evil and cannot be implemented reasonably anyway. >=20 > How so? Assignment is clearly a polymorphic operation. It is not "clearly" to me. Assigning Rectangles to Triangles does not make = any sense. > > either - assignment cannot be reasonably implemented apart from the cas= e > > of matching tags, >=20 > You mean an implementation generated by the compiler? In such cases the > programmer must be required to override. I also mean what the programmer might possibly provide - Rectanges vs. Tria= ngles and so on. > > (and that's OK as the concept is broken anyway). >=20 > Concept of what? In C++ you can assign int to double. No, you cannot. You can assign double to double and there is an implicit co= nversion from int to double. Both are also numbers with quite straightforwa= rd interpretation so these tricks are meaningful. This is nowhere similar t= o Rectangles vs. Triangles and stuff. > In Ada you can assign > Positive to Integer. It is the same type. > Is this broken? Rectangles vs. Triangles is broken. --=20 Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com