From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Naming of Tagged Types and Associated Packages
Date: 1998/07/27
Date: 1998-07-27T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.3.96.980727153418.13706B-100000@shell5.ba.best.com> (raw)
In-Reply-To: 6pirk1$iar$1@nnrp1.dejanews.com
On Mon, 27 Jul 1998 dennison@telepath.com wrote:
> Stephen Leake <Stephen.Leake@gsfc.nasa.gov> wrote:
> > dennison@telepath.com writes:
> >
> > > We have preliminarliy standardized on the Package_Name.Instance notation
> here.
> > > I'm not sure I like it either, but I have yet to see a suggestion that is
> > > better when full name notation is used. The other suggestions I have seen
> here
> > > so far either redundantly name the type and the package, or encode the fact
> > > that it is a type in the type name or a package in the package name (duh).
> >
> > How about Package_Name.Instance_Type? That makes clear the "type" vs
> > "object" question.
>
> Again, you have encoded the fact that it is a type in the type's name. I don't
> need that information, and it leads to really stupid looking things like
> "Command_Type_Type".
The first part of your assertion, that you don't *need* this information,
is certainly correct. If you can't stand redundancy, you should dump Ada,
and embrace either C++, which enables you to do away with many explicit
generic instantiations, or a language with type-inference, like ML,
Haskell, or Mercury, which lets you do away with almost all explicit
typing and still gives you static type checking. :-) :-)
The second part of your assertion, that it leads to stupid things like
Command_Type_Type, is completely false. I use the _Type convention, and
and a similar convention in C, I've never had this problem arise. If you
don't like that convention, fine, but don't just make up problems which
don't really happen .
If you only have one main type per package, why not give it a single
letter name like T or I (for Instance, yuk!)?
-- Brian
next prev parent reply other threads:[~1998-07-27 0:00 UTC|newest]
Thread overview: 138+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-16 0:00 Naming of Tagged Types and Associated Packages taashlo
1998-07-25 0:00 ` Matthew Heaney
1998-07-25 0:00 ` Jean-Pierre Rosen
1998-07-25 0:00 ` Brian Rogoff
1998-07-26 0:00 ` Matthew Heaney
1998-07-26 0:00 ` Matthew Heaney
1998-07-26 0:00 ` nabbasi
1998-07-26 0:00 ` Matthew Heaney
1998-07-26 0:00 ` Robert Dewar
1998-07-27 0:00 ` dennison
1998-07-27 0:00 ` Stephen Leake
1998-07-27 0:00 ` dennison
1998-07-27 0:00 ` Brian Rogoff [this message]
1998-07-28 0:00 ` dennison
1998-07-28 0:00 ` Brian Rogoff
1998-07-28 0:00 ` dennison
1998-07-29 0:00 ` Matthew Heaney
1998-07-29 0:00 ` Chris Brand
1998-07-30 0:00 ` Matthew Heaney
1998-07-30 0:00 ` dennison
1998-07-30 0:00 ` Matthew Heaney
1998-07-30 0:00 ` dennison
1998-08-01 0:00 ` Simon Wright
1998-08-02 0:00 ` Matthew Heaney
1998-08-03 0:00 ` dennison
1998-08-03 0:00 ` Matthew Heaney
1998-08-04 0:00 ` dennison
1998-08-04 0:00 ` Jean-Pierre Rosen
1998-08-04 0:00 ` Brian Rogoff
1998-08-05 0:00 ` Don Harrison
1998-08-05 0:00 ` Matthew Heaney
1998-08-07 0:00 ` Don Harrison
1998-08-13 0:00 ` Robert A Duff
1998-08-14 0:00 ` Don Harrison
1998-08-14 0:00 ` adam
1998-08-05 0:00 ` Brian Rogoff
1998-08-07 0:00 ` Don Harrison
1998-08-07 0:00 ` doylep
1998-08-07 0:00 ` Brian Rogoff
1998-08-08 0:00 ` Matthew Heaney
1998-08-10 0:00 ` doylep
1998-08-10 0:00 ` Brian Rogoff
1998-08-10 0:00 ` John Volan
1998-08-10 0:00 ` John Volan
1998-08-11 0:00 ` doylep
1998-08-11 0:00 ` Brian Rogoff
1998-08-13 0:00 ` Robert A Duff
1998-08-13 0:00 ` Brian Rogoff
1998-09-01 0:00 ` Matthew Heaney
1998-09-01 0:00 ` Dale Stanbrough
1998-09-01 0:00 ` Matthew Heaney
1998-09-01 0:00 ` Bob Collins
1998-09-02 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-08-11 0:00 ` Don Harrison
1998-08-11 0:00 ` Pat Rogers
1998-08-11 0:00 ` Don Harrison
1998-09-01 0:00 ` Matthew Heaney
1998-08-13 0:00 ` Robert A Duff
1998-08-13 0:00 ` Brian Rogoff
1998-08-15 0:00 ` Don Harrison
1998-08-15 0:00 ` Jean-Pierre Rosen
1998-08-18 0:00 ` Don Harrison
1998-08-14 0:00 ` Don Harrison
1998-08-17 0:00 ` doylep
1998-08-19 0:00 ` Don Harrison
1998-08-12 0:00 ` Don Harrison
1998-08-08 0:00 ` Matthew Heaney
1998-08-08 0:00 ` John G. Volan
1998-08-09 0:00 ` Matthew Heaney
1998-08-10 0:00 ` John G. Volan
1998-08-11 0:00 ` Don Harrison
1998-08-11 0:00 ` geoff
1998-08-11 0:00 ` John Volan
1998-08-31 0:00 ` Matthew Heaney
1998-08-31 0:00 ` Tucker Taft
1998-09-06 0:00 ` John G. Volan
1998-09-06 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-09-05 0:00 ` John G. Volan
1998-09-06 0:00 ` Matthew Heaney
1998-09-06 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-09-06 0:00 ` Matthew Heaney
1998-09-06 0:00 ` John G. Volan
1998-09-06 0:00 ` John G. Volan
1998-09-06 0:00 ` Brian Rogoff
1998-09-06 0:00 ` John G. Volan
1998-09-07 0:00 ` Brian Rogoff
1998-09-07 0:00 ` John G. Volan
1998-09-16 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-09-05 0:00 ` Matthew Heaney
1998-09-05 0:00 ` John G. Volan
1998-09-05 0:00 ` John G. Volan
1998-09-05 0:00 ` John G. Volan
1998-08-11 0:00 ` doylep
1998-08-05 0:00 ` Static Polymorphism (Was Re: Naming of Tagged Types...) Brian Rogoff
1998-08-06 0:00 ` Matthew Heaney
1998-08-06 0:00 ` Brian Rogoff
1998-07-28 0:00 ` Naming of Tagged Types and Associated Packages Brian Rogoff
1998-07-29 0:00 ` Matthew Heaney
1998-07-29 0:00 ` Brian Rogoff
1998-07-28 0:00 ` Norman H. Cohen
1998-07-28 0:00 ` Stephen Leake
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` Jean-Pierre Rosen
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` dennison
1998-07-29 0:00 ` Matthew Heaney
1998-07-30 0:00 ` Robert Dewar
1998-07-30 0:00 ` Matthew Heaney
1998-08-06 0:00 ` Robert A Duff
1998-08-06 0:00 ` Matthew Heaney
1998-08-06 0:00 ` Tucker Taft
1998-08-31 0:00 ` Matthew Heaney
1998-07-27 0:00 ` Jean-Pierre Rosen
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` Jean-Pierre Rosen
1998-07-28 0:00 ` dennison
1998-07-29 0:00 ` Jean-Pierre Rosen
1998-07-29 0:00 ` dennison
1998-07-29 0:00 ` Jean-Pierre Rosen
1998-07-30 0:00 ` dennison
1998-07-30 0:00 ` Jean-Pierre Rosen
1998-07-29 0:00 ` Robert I. Eachus
1998-07-30 0:00 ` Jean-Pierre Rosen
1998-07-30 0:00 ` Robert I. Eachus
1998-07-31 0:00 ` Jean-Pierre Rosen
1998-07-31 0:00 ` Robert I. Eachus
1998-08-01 0:00 ` Jean-Pierre Rosen
1998-08-04 0:00 ` Matthew Heaney
1998-08-04 0:00 ` Jean-Pierre Rosen
1998-08-10 0:00 ` Robert I. Eachus
1998-07-30 0:00 ` Matthew Heaney
-- strict thread matches above, loose matches on Subject: below --
1998-07-26 0:00 tmoran
1998-07-27 0:00 ` dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox