From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: status of Ada STL?
Date: Fri, 21 Jun 2002 13:03:32 +0200
Date: 2002-06-21T13:03:32+02:00 [thread overview]
Message-ID: <4006huok6mmo59d3lmkvqt3ffpccu0c2d6@4ax.com> (raw)
In-Reply-To: aeq4r7$mj8$1@nh.pace.co.uk
On Wed, 19 Jun 2002 10:35:18 -0400, "Marin David Condic"
<dont.bother.mcondic.auntie.spam@[acm.org> wrote:
>I've seen these suggested in this thread and others. I guess I don't like
>the way it looks and I think there is a problem with it. In C, the "="
>operator is a function call with side effects. In Ada the ":=" operator is
>*not* a function - its a primitive operation of the language. Creating
>things like "+:=" and "-:=" (and next we'll need some flavor of the "z = (a
>> b) ? a : b;" operation? :-)
?: is another story, but do not blame C for it. Ada has "and then" and
"or else", which are not much better from a puristic point view. [ It
is of course not so, that I liked Ada have ?: (:-)) ]
>starts confusing the concept of assignment as
>a primitive operation and (possibly user definable) functions.
There is nothing wrong with that. A function could be a primitive
operation. But assignment should be a procedure, not a function. We
already have operations (+, -, *, / etc) implemented by functions.
Why not to have operators (+:=, -:=, etc) implemented by procedures or
entry points?
>People here have posted wishing Ada would allow them to define a function
>":=" just like they can define "=", but it falls apart because ":=" isn't a
>function.
What's wrong with:
procedure '':=" (Target : in out A; Source : A); -- (*)
Note I do not demand that the copy constructor would be derived from
":=". It is IMO a wrong idea to attempt to derive one from another.
C++ does it simplier. What is actually wrong in C++ is that the result
of "=" is not void.
>Wouldn't it also fall apart if we started including "+:="?
No, they should be just user-defined procedures. Whether they are
primitive or not should only depend on the freezing rules and whether
particular parameters are class-wide.
(*) There is a minor problem with unconstrained subtypes passed as
inout and that discriminants cannot be changed.
---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2002-06-21 11:03 UTC|newest]
Thread overview: 188+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-14 7:21 status of Ada STL? Russ
2002-06-14 16:29 ` Stephen Leake
2002-06-14 18:44 ` Ted Dennison
2002-06-14 20:34 ` Ehud Lamm
2002-06-15 18:52 ` Russ
2002-06-16 2:42 ` David Marceau
2002-06-16 8:07 ` Pascal Obry
2002-06-16 18:23 ` Russ
2002-06-16 19:01 ` Pascal Obry
2002-06-16 19:04 ` Vinzent Hoefler
2002-06-17 1:59 ` Jeffrey Carter
2002-06-17 6:48 ` Russ
2002-06-17 7:04 ` Dale Stanbrough
2002-06-18 6:16 ` Russ
2002-06-19 1:07 ` Dale Stanbrough
2002-06-17 9:38 ` chris.danx
2002-06-17 15:53 ` Ted Dennison
2002-06-18 7:52 ` Russ
2002-06-18 10:57 ` chris.danx
2002-06-18 14:38 ` Robert A Duff
2002-06-18 16:19 ` Brian Rogoff
2002-06-18 17:12 ` Frank J. Lhota
2002-06-18 18:03 ` Brian Rogoff
2002-06-18 19:24 ` Frank J. Lhota
2002-06-18 19:41 ` Brian Rogoff
2002-06-25 0:02 ` Steven Deller
2002-06-25 1:24 ` Yet another assignment variation (was Re: status of Ada STL?) Dale Stanbrough
2002-06-25 12:53 ` Frank J. Lhota
2002-06-25 17:48 ` Georg Bauhaus
2002-06-26 3:13 ` Robert A Duff
2002-06-18 19:03 ` status of Ada STL? Robert A Duff
2002-06-18 19:54 ` Brian Rogoff
2002-06-18 21:09 ` Robert A Duff
2002-06-18 23:36 ` Brian Rogoff
2002-06-19 1:37 ` Robert A Duff
2002-06-19 16:25 ` Brian Rogoff
2002-06-19 18:53 ` Robert A Duff
2002-06-19 20:23 ` Brian Rogoff
2002-06-19 3:57 ` Russ
2002-06-18 21:55 ` Dmitry A.Kazakov
2002-06-19 5:32 ` Russ
2002-06-19 12:37 ` Dmitry A. Kazakov
2002-06-20 6:50 ` Russ
2002-06-20 12:21 ` Ted Dennison
2002-06-20 21:42 ` Dmitry A.Kazakov
2002-06-20 18:20 ` Russ
2002-06-21 10:27 ` Dmitry A. Kazakov
2002-06-20 18:21 ` Russ
2002-06-20 19:09 ` Russ
2002-06-17 17:16 ` Pascal Obry
2002-06-18 5:27 ` Russ
2002-06-17 17:17 ` Pascal Obry
2002-06-17 21:40 ` Vinzent Hoefler
2002-06-17 5:20 ` Russ
2002-06-17 8:22 ` chris.danx
2002-06-17 14:00 ` Frank J. Lhota
2002-06-17 15:57 ` Marin David Condic
2002-06-18 6:12 ` Russ
2002-06-18 8:16 ` chris.danx
2002-06-18 14:52 ` Robert A Duff
2002-06-18 16:02 ` Pascal Obry
2002-06-18 16:54 ` Hyman Rosen
2002-06-18 22:58 ` Jacob Sparre Andersen
2002-06-18 19:09 ` Robert A Duff
[not found] ` <ud6uolglz.fsf@w <wccsn3kxv3g.fsf@shell01.TheWorld.com>
2002-06-19 8:09 ` Pascal Obry
2002-06-19 3:04 ` Russ
2002-06-19 16:40 ` Hyman Rosen
2002-06-19 18:07 ` Brian Rogoff
2002-06-18 9:37 ` Fraser Wilson
2002-06-18 15:45 ` Hyman Rosen
2002-06-19 16:55 ` Robert I. Eachus
2002-06-19 19:13 ` Robert A Duff
2002-06-20 7:43 ` Dmitry A.Kazakov
2002-06-22 22:05 ` Robert I. Eachus
2002-06-17 21:40 ` Vinzent Hoefler
2002-06-18 15:05 ` Robert A Duff
2002-06-18 22:36 ` Vinzent Hoefler
2002-06-19 12:45 ` Dmitry A. Kazakov
2002-06-19 14:35 ` Marin David Condic
2002-06-21 11:03 ` Dmitry A. Kazakov [this message]
2002-06-21 16:58 ` Mark Biggar
2002-06-22 23:23 ` Dmitry A.Kazakov
2002-06-27 3:00 ` David Thompson
2002-06-28 13:36 ` Marin David Condic
2002-06-30 4:05 ` Russ
2002-06-30 13:50 ` Ted Dennison
2002-07-01 13:12 ` Marin David Condic
2002-07-02 19:56 ` Robert A Duff
[not found] ` <bebbba07.0206292005.45ad915a@p <wcc4rfhj43l.fsf@shell01.TheWorld.com>
2002-07-02 20:40 ` Pat Rogers
2002-06-18 15:21 ` Robert A Duff
2002-06-19 0:34 ` tmoran
2002-06-19 2:55 ` Russ
2002-06-19 4:53 ` Ted Dennison
2002-06-19 8:21 ` Pascal Obry
2002-06-19 14:52 ` Stephen Leake
2002-06-20 1:45 ` SteveD
2002-06-20 2:01 ` Ted Dennison
2002-06-16 20:01 ` Pascal Obry
2002-06-17 5:29 ` Russ
2002-06-16 23:02 ` Ted Dennison
2002-06-17 5:07 ` Russ
2002-06-17 14:03 ` Frank J. Lhota
2002-06-17 14:11 ` Ted Dennison
2002-06-18 5:55 ` Russ
2002-06-18 14:30 ` Ted Dennison
2002-06-18 15:14 ` Marin David Condic
2002-06-19 14:19 ` Ted Dennison
2002-06-19 16:05 ` Marin David Condic
2002-06-19 5:58 ` Russ
2002-06-19 14:35 ` Ted Dennison
2002-06-20 7:06 ` Russ
2002-06-20 12:27 ` Ted Dennison
2002-06-20 23:22 ` Russ
2002-06-21 2:00 ` Ted Dennison
2002-06-22 4:28 ` Russ
2002-06-22 15:05 ` Ted Dennison
2002-06-21 8:48 ` Ian Wild
2002-06-22 4:54 ` Russ
2002-06-20 22:47 ` Russ
2002-06-21 0:43 ` Ted Dennison
2002-06-22 4:05 ` Russ
2002-06-22 14:41 ` Jano
2002-06-22 20:27 ` Ted Dennison
2002-06-21 13:12 ` Marin David Condic
2002-06-24 8:29 ` Russ
2002-06-24 20:19 ` Chad R. Meiners
2002-06-18 22:36 ` Vinzent Hoefler
2002-06-18 22:42 ` Ed Falis
2002-06-19 0:07 ` Vinzent Hoefler
2002-06-19 0:07 ` Vinzent Hoefler
2002-06-17 22:37 ` Dmitry A.Kazakov
2002-06-17 14:09 ` Frank J. Lhota
2002-06-18 21:40 ` Dmitry A.Kazakov
2002-06-18 16:04 ` Robert A Duff
2002-06-18 16:37 ` Pascal Obry
2002-06-18 18:56 ` Robert A Duff
2002-06-18 22:20 ` Pascal Obry
2002-06-19 12:53 ` Dmitry A. Kazakov
2002-06-19 3:37 ` Russ
2002-06-19 8:31 ` Pascal Obry
2002-06-20 7:58 ` Russ
2002-06-20 20:34 ` Pascal Obry
2002-06-21 4:07 ` Russ
2002-06-17 15:33 ` Marin David Condic
2002-06-18 10:28 ` Adrian Hoe
2002-06-19 7:58 ` Ole-Hjalmar Kristensen
2002-06-19 13:55 ` Marin David Condic
2002-06-19 13:52 ` Marin David Condic
2002-09-18 15:23 ` Matthew Heaney
2002-09-19 12:11 ` Marin David Condic
2002-09-19 14:13 ` Hyman Rosen
2002-09-20 12:24 ` Marin David Condic
2002-09-22 7:22 ` Kevin Cline
2002-09-23 13:55 ` Hyman Rosen
2002-09-19 19:42 ` Randy Brukardt
2002-09-20 12:38 ` Marin David Condic
2002-09-27 21:21 ` Michael Bode
2002-09-27 22:11 ` Pat Rogers
2002-09-28 13:25 ` Marin David Condic
2002-09-28 14:52 ` Pat Rogers
2002-09-28 15:18 ` Martin Dowie
2002-09-29 18:02 ` Marin David Condic
2002-09-29 19:02 ` Jeffrey Carter
2002-09-30 1:36 ` Marin David Condic
2002-10-02 22:17 ` Matthew Heaney
2002-09-28 17:25 ` Richard Riehle
2002-09-30 17:12 ` Marin David Condic
2002-10-01 18:41 ` Randy Brukardt
2002-10-02 8:38 ` Jean-Pierre Rosen
2002-10-02 12:43 ` Marin David Condic
2002-10-02 14:26 ` Jean-Pierre Rosen
2002-10-02 12:30 ` Marin David Condic
2002-06-18 1:56 ` SteveD
2002-06-18 14:12 ` Robert A Duff
2002-06-18 14:28 ` chris.danx
2002-06-18 15:59 ` Pascal Obry
2002-06-18 18:58 ` Robert A Duff
2002-06-18 19:58 ` Randy Brukardt
2002-06-19 14:07 ` Marin David Condic
2002-06-19 2:19 ` SteveD
2002-06-18 11:40 ` Colin Paul Gloster
2002-06-20 15:15 ` Colin Paul Gloster
2002-06-18 19:34 ` Mike Silva
2002-06-25 16:31 ` Kevin Cline
2002-06-14 20:34 ` Dan Andreatta
-- strict thread matches above, loose matches on Subject: below --
2002-06-17 11:05 Grein, Christoph
2002-06-18 5:36 ` Russ
2002-06-26 10:50 Grein, Christoph
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox