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-Thread: a07f3367d7,66fae8c862b81b17 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Received: by 10.66.75.39 with SMTP id z7mr2825557pav.26.1352353195577; Wed, 07 Nov 2012 21:39:55 -0800 (PST) From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Copy vector in Ada Date: Sat, 03 Nov 2012 16:54:20 +0100 Organization: Ada @ Home Message-ID: References: <1aWdnbcg_8-BzAzNnZ2dnUVZ_j6dnZ2d@giganews.com> <559eb706-9bb1-496d-9034-1984d693531a@googlegroups.com> <5460fdc7-5490-4889-b771-67cc281c10c5@googlegroups.com> NNTP-Posting-Host: 38rfea8kHcKUw0CKcBpjqA.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.02 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Path: s9ni86254pbb.0!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news.mccarragher.com!news.grnet.gr!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!rt.uk.eu.org!aioe.org!.POSTED!not-for-mail X-Received-Bytes: 2734 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-11-03T16:54:20+01:00 List-Id: Le Sat, 03 Nov 2012 15:34:17 +0100, Maciej Sobczak = a =C3=A9crit: > I would even say that C++ has a more elegant solution for this problem= , = > as the ability to redefine the assignment operation is orthogonal to = > other parts of the language and does not interfere with things like = > polymorphism. Also, banning and redefining are handled in the consiste= nt = > way (hey, they *are* related issues!), while in Ada these two are done= = > in completely distinct ways - one requires a keyword, while the other = = > requires a derivation from some magic type. Yuck. I will trust you for the assertion about C++, as I forget too much since= = that time, but your words invite me to notice the orthogonality you = mention, is in the big part, more in Ada than C++. Think of separation o= f = hiding and attaching methods to a tagged type. That may be true for a th= at = particular point, but not for the whole (just wanted to remind a detail = = cannot shadow the whole). Will investigate that point later any way, as = = I've never felt any lack of orthogonality with Ada here; I will try to = better understand what you meant. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity