From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: proposal for new assignment operators
Date: Fri, 27 Jun 2003 10:15:03 +0200
Date: 2003-06-27T10:15:03+02:00 [thread overview]
Message-ID: <vfunfvga51toja4q3tbdipmdvpcdq7oers@4ax.com> (raw)
In-Reply-To: slrnbflj84.nt.lutz@taranis.iks-jena.de
On Thu, 26 Jun 2003 10:37:57 +0000 (UTC), Lutz Donnerhacke
<lutz@iks-jena.de> wrote:
>* Dmitry A. Kazakov wrote:
>> Lutz Donnerhacke wrote:
>>> * Dmitry A. Kazakov wrote:
>>>> Provided 1.& 2. one could just enlarge the set of lexical elements and
>>>> let the programmer to choose what he/she wants. I would like to see
>>>> "<+>", "[+]", "(+)", "+:=", "<+>:=" etc added, but is that worth the
>>>> efforts?
>>>
>>> No. The "idem" proposal is worth the efforts.
>>
>> Probably yes, but "idem" is rather an independent thing. It does not solve
>> neither a problem of in-place operations (including constructors), nor a
>> problem user-defined assignment(s) [for all types.]
>
>If so, then "procedure Add_Inplace(to : in out Matrix, a : in out Matrix);"
>exists and has to be provided anyway.
From this point of view there is also no need to have any assignment
statement. Why do you need ":=" if
procedure Set (To : in out Matrix; From : Matrix);
can be defined?
As I said the problem is not lexical. One can live with Set instead of
":=" or Add_Inplace instead of "<whatsoever>".
The problem is in semantics. What happens [with assignments] if you
derive from Matrix? What happens if you aggregate Matrix in some other
type? C++ says: "it is all your business, dear." Ada tries to protect
you as much as possible. That's far not easy. And note that when you
say that Add_Inplace is enough, you, in effect, follow C++'s, not
Ada's way.
---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2003-06-27 8:15 UTC|newest]
Thread overview: 69+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-06-25 6:23 proposal for new assignment operators Russ
2003-06-25 8:49 ` Preben Randhol
2003-06-25 10:28 ` Dmitry A. Kazakov
2003-06-25 10:36 ` Lutz Donnerhacke
2003-06-25 17:49 ` Dmitry A. Kazakov
2003-06-26 10:37 ` Lutz Donnerhacke
2003-06-27 8:15 ` Dmitry A. Kazakov [this message]
2003-06-27 14:21 ` Hyman Rosen
2003-06-25 19:17 ` Russ
2003-06-25 10:39 ` Larry Kilgallen
2003-06-25 12:06 ` Preben Randhol
2003-06-25 13:40 ` Peter Hermann
2003-06-25 22:12 ` Georg Bauhaus
2003-06-26 8:03 ` Preben Randhol
2003-06-26 8:25 ` Vinzent Hoefler
2003-06-26 15:02 ` Stephen Leake
2003-06-26 17:54 ` Georg Bauhaus
2003-06-26 18:32 ` Stephen Leake
2003-06-27 13:21 ` Georg Bauhaus
2003-06-26 16:32 ` Preben Randhol
2003-06-26 17:41 ` Georg Bauhaus
2003-06-26 17:58 ` Preben Randhol
2003-06-26 2:36 ` Steve
2003-06-26 2:33 ` Russ
2003-06-26 23:02 ` John R. Strohm
2003-06-25 14:07 ` Frank J. Lhota
2003-06-25 16:27 ` Warren W. Gay VE3WWG
2003-06-26 3:09 ` Russ
2003-06-26 6:27 ` Vinzent Hoefler
2003-06-26 10:49 ` Larry Kilgallen
2003-06-26 18:08 ` Russ
2003-06-26 18:19 ` Preben Randhol
2003-06-26 18:45 ` Larry Kilgallen
2003-07-02 15:57 ` Kevin Cline
2003-07-02 17:10 ` tmoran
2003-07-02 18:27 ` Hyman Rosen
2003-07-02 20:20 ` tmoran
2003-07-03 1:48 ` Richard Riehle
2003-07-03 3:07 ` Hyman Rosen
2003-07-03 5:12 ` Randy Brukardt
2003-07-03 13:03 ` Hyman Rosen
2003-07-03 14:46 ` Stephen Leake
2003-07-04 1:17 ` James Rogers
2003-07-07 4:29 ` Hyman Rosen
2003-07-08 1:10 ` James Rogers
2003-07-08 13:59 ` Hyman Rosen
2003-07-09 0:12 ` James Rogers
2003-07-09 3:00 ` Hyman Rosen
2003-07-07 15:36 ` Matthew Heaney
2003-07-14 1:39 ` Richard Riehle
2003-07-14 2:54 ` Hyman Rosen
2003-07-16 3:14 ` Richard Riehle
2003-06-27 13:34 ` Georg Bauhaus
2003-06-27 23:12 ` Russ
2003-06-27 23:21 ` Larry Kilgallen
2003-06-28 18:51 ` Russ
2003-06-27 18:02 ` Warren W. Gay VE3WWG
2003-06-28 3:50 ` Russ
2003-06-30 15:58 ` Warren W. Gay VE3WWG
2003-06-25 19:44 ` Bill Findlay
2003-06-26 2:06 ` Russ
2003-06-26 2:33 ` Bill Findlay
2003-06-26 5:54 ` Karel Miklav
2003-06-26 12:17 ` Georg Bauhaus
2003-06-26 12:52 ` Joseph Dalton
2003-06-26 18:11 ` Frank J. Lhota
-- strict thread matches above, loose matches on Subject: below --
2003-06-27 5:35 christoph.grein
2003-06-27 9:57 ` Preben Randhol
2003-06-27 14:11 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox