From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Splitting the object and type name spaces? (Was: Types, packages & objects : the good old naming conventions question (without religious ware))
Date: Sat, 31 Oct 2009 10:58:52 +0100
Date: 2009-10-31T10:58:53+01:00 [thread overview]
Message-ID: <gyezzjs5isow$.1rfkf5zexf41q$.dlg@40tude.net> (raw)
In-Reply-To: ygeskd0hydf.fsf_-_@hugsarin.sparre-andersen.dk
On Sat, 31 Oct 2009 07:27:08 +0100, Jacob Sparre Andersen wrote:
> Stephen Leake wrote:
>
>> Objects and types share the same name space.
>
> How much trouble would it be to split the object name space from the
> type name space in Ada?
>
> What kinds of dangers would it introduce?
Some additional ambiguities, e.g.
X'First -- X is a type or an array?
Conceptually the language has the common space for everything named. If we
wanted to separate types, we should also do the packages, the labels, the
operations.
The latter is the most difficult part, because subprograms need to be
passed as parameters, and they are equivalent to literals and objects when
parameterless.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2009-10-31 9:58 UTC|newest]
Thread overview: 88+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-10-29 17:11 Types, packages & objects : the good old naming conventions question (without religious ware) Hibou57 (Yannick Duchêne)
2009-10-29 17:47 ` Dmitry A. Kazakov
2009-10-29 18:11 ` Georg Bauhaus
2009-10-29 22:41 ` tmoran
2009-10-30 0:01 ` Robert A Duff
2009-10-30 4:17 ` Georg Bauhaus
2009-10-30 4:52 ` Hibou57 (Yannick Duchêne)
2009-10-30 5:08 ` Jeffrey R. Carter
2009-10-30 5:28 ` Hibou57 (Yannick Duchêne)
2009-10-31 12:13 ` Stephen Leake
2009-10-30 8:14 ` tmoran
2009-10-31 6:35 ` Jacob Sparre Andersen
2009-11-01 8:24 ` Stephen Leake
2009-11-01 10:18 ` Peter C. Chapin
2009-11-01 13:01 ` Hibou57 (Yannick Duchêne)
2009-11-01 13:40 ` Hibou57 (Yannick Duchêne)
2009-11-05 0:33 ` Stephen Leake
2009-11-05 8:37 ` Dmitry A. Kazakov
2009-11-05 8:48 ` Niklas Holsti
2009-11-05 9:13 ` Dmitry A. Kazakov
2009-11-06 9:54 ` Stephen Leake
2009-11-06 10:23 ` Niklas Holsti
2009-11-06 10:24 ` Dmitry A. Kazakov
2009-11-05 20:18 ` Vincent Marciante
2009-11-06 10:26 ` Stephen Leake
2009-11-06 11:34 ` Hibou57 (Yannick Duchêne)
2009-11-06 12:38 ` Georg Bauhaus
2009-11-07 5:54 ` Stephen Leake
2009-11-06 18:58 ` Vincent Marciante
2009-11-07 5:57 ` Stephen Leake
2009-11-09 18:25 ` Vincent Marciante
2009-11-10 7:51 ` Stephen Leake
2009-11-10 16:53 ` Vincent Marciante
2009-12-29 23:27 ` Hibou57 (Yannick Duchêne)
2009-12-30 9:31 ` Georg Bauhaus
2009-12-30 14:13 ` Hibou57 (Yannick Duchêne)
2009-12-31 13:48 ` Marco
2010-01-09 15:03 ` Hibou57 (Yannick Duchêne)
2010-01-07 15:20 ` Hibou57 (Yannick Duchêne)
2010-01-07 15:42 ` Hibou57 (Yannick Duchêne)
2009-11-02 0:30 ` tmoran
2009-10-31 12:18 ` Stephen Leake
2009-10-30 10:52 ` Stephen Leake
2009-10-30 12:11 ` Hibou57 (Yannick Duchêne)
2009-10-30 13:40 ` Georg Bauhaus
2009-10-31 11:58 ` Stephen Leake
2009-11-02 20:36 ` Georg Bauhaus
2009-11-02 21:47 ` Randy Brukardt
2009-10-30 18:57 ` Jeffrey R. Carter
2009-10-31 1:45 ` Hibou57 (Yannick Duchêne)
2009-10-31 5:30 ` Hibou57 (Yannick Duchêne)
2009-10-31 5:44 ` Hibou57 (Yannick Duchêne)
2009-10-31 9:49 ` Dmitry A. Kazakov
2009-10-31 11:30 ` Hibou57 (Yannick Duchêne)
2009-10-31 11:47 ` Dmitry A. Kazakov
2009-10-31 12:38 ` Hibou57 (Yannick Duchêne)
2009-10-31 13:36 ` Dmitry A. Kazakov
2009-11-01 8:15 ` Stephen Leake
2009-10-31 12:11 ` Stephen Leake
2009-11-02 19:54 ` Georg Bauhaus
2009-11-05 0:39 ` Stephen Leake
2009-11-05 11:44 ` Georg Bauhaus
2009-11-06 10:14 ` Stephen Leake
2009-11-06 14:14 ` Georg Bauhaus
2009-11-07 5:49 ` Stephen Leake
2009-11-07 14:28 ` Georg Bauhaus
2009-11-07 14:33 ` Georg Bauhaus
2009-11-08 9:48 ` Stephen Leake
2009-11-09 19:09 ` Vincent Marciante
2009-11-10 7:58 ` Stephen Leake
2009-10-29 18:33 ` Niklas Holsti
2009-10-29 19:35 ` Jeffrey R. Carter
2009-10-30 7:29 ` Niklas Holsti
2009-10-30 18:36 ` Jeffrey R. Carter
2009-10-30 9:24 ` dhenry
2009-10-30 10:01 ` Hibou57 (Yannick Duchêne)
2009-10-30 18:40 ` Jeffrey R. Carter
2009-10-31 12:25 ` Stephen Leake
2009-10-31 12:21 ` Stephen Leake
2009-10-31 13:08 ` Hibou57 (Yannick Duchêne)
2009-11-01 8:21 ` Stephen Leake
2009-10-30 10:48 ` Stephen Leake
2009-10-31 6:27 ` Splitting the object and type name spaces? (Was: Types, packages & objects : the good old naming conventions question (without religious ware)) Jacob Sparre Andersen
2009-10-31 7:16 ` Hibou57 (Yannick Duchêne)
2009-10-31 7:21 ` Hibou57 (Yannick Duchêne)
2009-10-31 9:58 ` Dmitry A. Kazakov [this message]
2009-11-02 22:05 ` Types, packages & objects : the good old naming conventions question (without religious ware) Randy Brukardt
2009-11-04 15:44 ` Hibou57 (Yannick Duchêne)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox