comp.lang.ada
 help / color / mirror / Atom feed
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: Easy question about Character manipulation
Date: Wed, 31 Jan 2007 23:23:01 +0000
Date: 2007-01-31T23:23:01+00:00	[thread overview]
Message-ID: <C1E6D555.92576%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: wcc8xfiztqi.fsf@shell01.TheWorld.com

On 31/1/07 23:01, in article wcc8xfiztqi.fsf@shell01.TheWorld.com, "Robert A
Duff" <bobduff@shell01.TheWorld.com> wrote:

> The important things are assignment statements, initialization (which
> Pascal doesn't have in the Ada sense), parameter passing (with or
> without 'var'), and function return.  From what you've explained, all
> except 'var' parameters behave the way Jeff says above.

Yup.
 
> What's the rationale for treating 'var' specially?  As I recall, there's
> also a special rule in Pascal that you can't pass a component of a
> packed record or array to a 'var' parameter.  Isn't that enough?

I think this was a matter of backward compatibility with existing
implementations, and our "no new language design by committee"
self-denying ordinance.

(We broke that only to introduce conformant array parameters,
at the urgent request of Hoare and with Wirth's explicit approval.)

I guess there are also run-time checking overheads that would have been
more of an issue in 1977 than 2007.

I don't think that relaxing the rules for var parameters was ever
seriously discussed, but to be honest my memory of this is close to nil.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk





  reply	other threads:[~2007-01-31 23:23 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-01-29 20:01 Easy question about Character manipulation mark
2007-01-29 20:17 ` Dmitry A. Kazakov
2007-01-29 21:30   ` Georg Bauhaus
2007-01-30  0:51     ` (see below)
2007-01-30  1:43       ` Georg Bauhaus
2007-01-30  2:09         ` (see below)
2007-01-30 20:18           ` Robert A Duff
2007-01-30 21:07             ` (see below)
2007-01-30 22:05               ` Robert A Duff
2007-01-31  3:07                 ` (see below)
2007-01-31 18:11               ` Jeffrey R. Carter
2007-01-31 21:02                 ` (see below)
2007-01-31 23:01                   ` Robert A Duff
2007-01-31 23:23                     ` (see below) [this message]
2007-01-31 23:46                   ` Jeffrey R. Carter
2007-02-01  0:07                     ` (see below)
2007-01-30 21:08             ` Dmitry A. Kazakov
2007-01-31 16:54           ` Georg Bauhaus
2007-01-31 17:24             ` (see below)
2007-01-30 12:28 ` Martin Krischik
2007-01-30 17:50   ` Jeffrey R. Carter
2007-01-30 20:24     ` Robert A Duff
2007-01-30 21:12       ` Dmitry A. Kazakov
2007-01-30 21:39         ` Robert A Duff
2007-01-31 10:55           ` Dmitry A. Kazakov
2007-01-31 11:22           ` Martin Krischik
2007-01-31 18:14       ` Jeffrey R. Carter
replies disabled

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