From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,25d835bb9a4a003f
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!newsfeed-fusi2.netcologne.de!newsreader2.netcologne.de!news.netcologne.de!newsfeed-hp2.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
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))
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <ae7fb66b-4eff-405f-b568-77a1047ec6cb@n35g2000yqm.googlegroups.com>
 <u8wet6ttv.fsf@stephe-leake.org>
 <ygeskd0hydf.fsf_-_@hugsarin.sparre-andersen.dk>
Date: Sat, 31 Oct 2009 10:58:52 +0100
Message-ID: <gyezzjs5isow$.1rfkf5zexf41q$.dlg@40tude.net>
NNTP-Posting-Date: 31 Oct 2009 10:58:53 CET
NNTP-Posting-Host: 44976c70.newsspool3.arcor-online.net
X-Trace: 
 DXC=:_@2:amffQH78PK[oJ2ng@McF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOKD`X^0b4Z<_J[6LHn;2LCVN[<mhadbfdUKWaojSBkg1\F^PRioHTFVQI
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8913
Date: 2009-10-31T10:58:53+01:00
List-Id: <comp.lang.ada>

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