P11e2: type labels

[Bernd G. Wenzel]

Phil,

IMHO the EXPRESS project needs to rethink this rejection. Any
construct containing such type abstractions, be it a FUNCTION,
PROCEDURE, or ABSTRACT ENTITY, can be seen as a template. Type
labels are a mechanism to control/constrain the usage of such
templates. This is useful if not required in either case.

I'd also like to remind you of this favourite language design
principle of mine, called the "principle of least astonishment".
Wouldn't we violate this principle by providing type labels in 2
cases but not the third?

Just my 2 (Euro-) Cent.

:-) Bernd

---------------------------------
Bernd G. Wenzel
Ganghoferstraße 7b
D-83043 Bad Aibling
Germany

Phone: +49-8061-37232
Fax:      +49-8061-92018
Mobile: +49-170-9983565
Email:   bg_wenzel at csi.com

----- Original Message -----
From: "Phil Spiby" <Phil.Spiby at eurostep.com>
To: "Jochen Haenisch" <Jochen.Haenisch at epmtech.jotne.com>; "Hans
Karsten Dahl" <Hans.Karsten.Dahl at epmtech.jotne.com>;
<wg11 at steptools.com>; "Hendrix, Thomas E"
<thomas.e.hendrix at boeing.com>; "Arne Tøn"
<Arne.Ton at epmtech.jotne.com>; "'Wilson, Peter R'"
<peter.r.wilson at boeing.com>
Cc: "Dmitry Krambalev" <Dmitry.Krambalev at epmtech.jotne.com>
Sent: Wednesday, May 08, 2002 12:16 PM
Subject: RE: P11e2: type labels


>
> Jochen,
>
> This was my suggestion in UK-9 which was rejected at the last
ISO meeting.
>
> Phil
>
> > -----Original Message-----
> > From: owner-wg11 at steptools.com
[mailto:owner-wg11 at steptools.com]On
> > Behalf Of Jochen Haenisch
> > Sent: Wednesday, May 08, 2002 10:12 AM
> > To: Hans Karsten Dahl; wg11 at steptools.com; Hendrix, Thomas E;
Arne Tøn;
> > 'Wilson, Peter R'
> > Cc: Dmitry Krambalev
> > Subject: P11e2: type labels
> >
> >
> > Hi folks,
> >
> > another question on P11e2, concerning type labels.
> >
> > In e1 type labels were only valid within functions and
procedures because
> > GENERIC and AGGREGATES were valid only there.
> >
> > In e2 GENERIC_ENTITY and AGGREGATE may be used to declare
> > attributes. Is it
> > the intention of e2 to allow the use of type labels in
attribute
> > declarations as well? The current syntax does allow this, I
think, but the
> > text in e1, 10.3.15 Type label, would then needed to be
updated.
> >
> > Best regards, Jochen.
> > ____________________________________________________________
> > Jochen Haenisch E-mail:
> > Jochen.Haenisch at epmtech.jotne.com
> > EPM Technology AS Home of the EXPRESS Data Manager
> > P.O Box 6629 Etterstad Tel: Int + 47 23 17 17 26;
> > mobile: Int + 47
> > 922 60 274
> > N-0607 Oslo Fax: Int + 47 23 17 17 01
> > Norway Web:
> > http://www.epmtech.jotne.com
> >
>