comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: overload ":=" ???
Date: 1996/07/23
Date: 1996-07-23T00:00:00+00:00	[thread overview]
Message-ID: <Duz3ns.2rA@world.std.com> (raw)
In-Reply-To: 31F40F0C.3FDACA19@jinx.sckans.edu


In article <31F40F0C.3FDACA19@jinx.sckans.edu>,
David Morton  <dmorton@jinx.sckans.edu> wrote:
>I looked at that, and it would be great, but...
>RM A.04.04.106
>seems to say that this isn't good with dynamic pointers
>(or am I misreading this?)

Maybe.  It's just saying (to the Ada implementer) that Bounded_String
should be a record containing a character count, plus an array of
characters containing the max size (as opposed to some pointer-ish
implementation).  You can make pointers to these things if you want to
-- A.4.4(106) is not restricting the *user* in any way.

If you want unbounded strings (which *are* implemented using pointers),
then look at A.4.5.  These are more flexible but less efficient.

>>    If you allow programmers to play with assignment, you'll definitly
>> damage the readability of all Ada sources.

If you allow programmers to play with "+" and "=", you'll ... ;-)

>what about "write-ability" ????

Irrelevant.  If you want that, use perl (I'm echoing Laurent's earlier
remark).  ;-)

- Bob




  parent reply	other threads:[~1996-07-23  0:00 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-07-17  0:00 overload ":=" ??? David Morton
1996-07-17  0:00 ` Robert Dewar
1996-07-18  0:00   ` Laurent Guerby
1996-07-18  0:00   ` David Morton
1996-07-19  0:00     ` Brad Balfour
1996-07-19  0:00     ` David Weller
1996-07-25  0:00   ` Wolfgang Gellerich
1996-07-25  0:00     ` Robert A Duff
1996-07-18  0:00 ` Jon S Anthony
1996-07-18  0:00 ` John Herro
1996-07-18  0:00   ` Robert Dewar
1996-07-19  0:00     ` John Herro
1996-07-21  0:00       ` Laurent Guerby
1996-07-22  0:00         ` Robert A Duff
1996-07-23  0:00           ` Laurent Guerby
1996-07-23  0:00             ` John Herro
1996-07-23  0:00             ` Robert A Duff
1996-07-21  0:00       ` David Morton
1996-07-22  0:00       ` Laurent Guerby
1996-07-22  0:00       ` Laurent Guerby
1996-07-22  0:00       ` David Morton
1996-07-22  0:00         ` Robert Dewar
1996-07-23  0:00         ` Robert A Duff [this message]
1996-07-22  0:00           ` Robert Dewar
1996-07-23  0:00       ` Tarjei Jensen
1996-07-23  0:00         ` Robert A Duff
1996-07-24  0:00       ` Robert I. Eachus
1996-07-19  0:00 ` Joerg Ozimek
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox