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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,63a41ccea0fc803a
X-Google-Attributes: gid103376,public
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Naming of Tagged Types and Associated Packages
Date: 1998/07/30
Message-ID: <m3pvenww5v.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 376369944
Sender: matt@mheaney.ni.net
References: <ur9zlv6tx.fsf@sandia.SPAMFREE.gov>
 <m34sw6mcbx.fsf@mheaney.ni.net> <6pdhfo$1br$1@platane.wanadoo.fr>
 <m367gl943o.fsf@mheaney.ni.net> <6pi0pf$df8$1@nnrp1.dejanews.com>
 <uogub2jq5.fsf@gsfc.nasa.gov> <6pirk1$iar$1@nnrp1.dejanews.com>
 <Pine.BSF.3.96.980727153418.13706B-100000@shell5.ba.best.com>
 <6pknai$qst$1@nnrp1.dejanews.com>
 <Pine.BSF.3.96.980728084100.28778A-100000@shell5.ba.best.com>
 <6pl5rh$elr$1@nnrp1.dejanews.com> <m33eblyg8t.fsf@mheaney.ni.net>
 <35BF50B4.6FDCDDA0@west.raytheon.com> <m3vhogw00r.fsf@mheaney.ni.net>
 <6pq2ck$1pi$1@nnrp1.dejanews.com>
NNTP-Posting-Date: Thu, 30 Jul 1998 08:55:46 PDT
Newsgroups: comp.lang.ada
Date: 1998-07-30T00:00:00+00:00
List-Id: <comp.lang.ada>

dennison@telepath.com writes:

> I still whould have gone with "File" instead of "File_Type".
> :-)

I'm not sure why there's a smiley there, but in general, types should be
named using a two-part phrase.  That way you can name the object using a
shortened version of the type name, as in

Kind : Command_Kind;

File : File_Type;

Pool : Storage_Pool;

Speed : Speed_In_MPH;

etc.

If you name the type File, then you have to name the object The_File,
but the definate article just adds noise (not unlike the over-use of
_Type...) that your reader is going to mentally parse out anyway.

This was the style used by Booch way back when, but I find it a bit
old-fashioned nowadays.

As I mentioned in another post, a similar idiom applies to a type
hierarchy.  The root type of the hierarchy should be named with a
two-part phrase, for example Root_Stack or Bank_Account.