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/26
Message-ID: <m33ebp93vc.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 374932619
Sender: matt@mheaney.ni.net
References: <ur9zlv6tx.fsf@sandia.SPAMFREE.gov>
 <m34sw6mcbx.fsf@mheaney.ni.net> <6pdhfo$1br$1@platane.wanadoo.fr>
 <Pine.BSF.3.96.980725144604.15770A-100000@shell5.ba.best.com>
NNTP-Posting-Date: Sat, 25 Jul 1998 18:29:40 PDT
Newsgroups: comp.lang.ada
Date: 1998-07-26T00:00:00+00:00
List-Id: <comp.lang.ada>

Brian Rogoff <bpr@shell5.ba.best.com> writes:

> The name
> Object or Instance should only appear on the left hand side of the
> declaration.

An excellent point.  To call a type "Object" is thoroughly confusing,
because an object is the thing that is an instance of the type.

There is a long tradition in the Ada community of using the expression
  O : T;

as shorthand when discussing programming issues.  I can't remember
anyone using the expression
  The_O : P.O;

as "short"hand.