From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Rational for not making cursor tagged in Containers
Date: Thu, 19 Apr 2007 22:03:05 -0500
Date: 2007-04-19T22:03:05-05:00 [thread overview]
Message-ID: <f09ae9$t4o$1@jacob-sparre.dk> (raw)
In-Reply-To: wccodlkz0ej.fsf@shell01.TheWorld.com
"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wccodlkz0ej.fsf@shell01.TheWorld.com...
...
> A different question might be: Why is the prefix notation not allowed
> for untagged types? I don't know the answer to that, but it's probably
> documented in the relevant AI.
It originally was allowed for access types. But it got really confusing for
access type prefixes; there might have been many legal possibilities (once
you take into account implied dereferences and 'Accesses). It might be
necessary to look at several sets of primitive operations (both for the
access type, and for a designated type), and unusual ambiguities could
result. A compiler could work it out, but whether a human programmer could
was contentious. So we dropped untagged prefixes in order that we got
prefixed notation for OOP purposes (the general one might never have been
accepted).
Randy.
next prev parent reply other threads:[~2007-04-20 3:03 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-04-19 16:05 Rational for not making cursor tagged in Containers Anh Vo
2007-04-19 18:25 ` Robert A Duff
2007-04-19 19:28 ` Anh Vo
2007-04-19 20:45 ` Robert A Duff
2007-04-19 21:43 ` Dmitry A. Kazakov
2007-04-19 23:59 ` Ray Blaak
2007-04-20 7:54 ` Dmitry A. Kazakov
2007-04-20 10:56 ` Georg Bauhaus
2007-04-20 10:39 ` Dmitry A. Kazakov
2007-04-20 14:42 ` Georg Bauhaus
2007-04-20 14:45 ` Georg Bauhaus
2007-04-20 15:13 ` Dmitry A. Kazakov
2007-04-20 19:37 ` Georg Bauhaus
2007-04-20 19:32 ` Dmitry A. Kazakov
2007-04-20 20:59 ` Robert A Duff
2007-04-20 22:14 ` Dmitry A. Kazakov
2007-04-23 17:38 ` Adam Beneschan
2007-04-23 19:18 ` Dmitry A. Kazakov
2007-04-24 0:15 ` Adam Beneschan
2007-04-24 10:43 ` Dmitry A. Kazakov
2007-04-24 16:27 ` Adam Beneschan
2007-04-24 20:19 ` Dmitry A. Kazakov
2007-04-26 0:58 ` Adam Beneschan
2007-04-26 7:50 ` Dmitry A. Kazakov
2007-04-26 8:09 ` Markus E Leypold
2007-04-27 8:46 ` Dmitry A. Kazakov
2007-04-27 11:37 ` Markus E Leypold
2007-04-28 17:35 ` Dmitry A. Kazakov
2007-04-29 2:31 ` Randy Brukardt
2007-04-29 8:45 ` Dmitry A. Kazakov
2007-04-27 20:44 ` Robert A Duff
2007-04-26 8:33 ` Markus E Leypold
2007-04-26 11:09 ` Markus E Leypold
2007-04-20 19:55 ` Randy Brukardt
2007-04-22 9:54 ` Georg Bauhaus
2007-04-22 11:19 ` Dmitry A. Kazakov
2007-04-20 20:44 ` Robert A Duff
2007-04-21 5:38 ` Randy Brukardt
2007-04-22 1:14 ` Robert A Duff
2007-04-22 4:08 ` Randy Brukardt
2007-04-20 20:11 ` Randy Brukardt
2007-04-20 21:28 ` Dmitry A. Kazakov
2007-04-21 5:33 ` Randy Brukardt
2007-04-21 9:39 ` Dmitry A. Kazakov
2007-04-22 4:28 ` Randy Brukardt
2007-04-22 8:38 ` Dmitry A. Kazakov
2007-04-23 23:26 ` Randy Brukardt
2007-04-24 10:43 ` Dmitry A. Kazakov
2007-04-24 8:58 ` Georg Bauhaus
2007-04-24 12:21 ` Dmitry A. Kazakov
2007-04-21 4:48 ` unifying arrays and records (was Re: Rational for not making cursor tagged in Containers) Ray Blaak
2007-04-20 17:05 ` Rational for not making cursor tagged in Containers Ray Blaak
2007-04-20 18:46 ` Dmitry A. Kazakov
2007-04-20 18:52 ` Ray Blaak
2007-04-20 19:54 ` Robert A Duff
2007-04-20 1:18 ` Anh Vo
2007-04-20 7:53 ` Dmitry A. Kazakov
2007-04-20 9:26 ` Maciej Sobczak
2007-04-20 10:15 ` Dmitry A. Kazakov
2007-04-20 11:59 ` Jean-Pierre Rosen
2007-04-20 13:23 ` Anh Vo
2007-04-20 16:02 ` Jean-Pierre Rosen
2007-04-21 2:53 ` Anh Vo
2007-04-20 3:03 ` Randy Brukardt [this message]
2007-04-20 2:53 ` Randy Brukardt
2007-04-20 16:08 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox