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: 103376,1b41412c7bc28c47
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Suffix _T for types found good
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: <2e9ebb23-a68b-43cf-8871-febcb173f951@56g2000hsm.googlegroups.com>
 <b96bdd99-29ce-40a6-b9af-6f86150e019b@f36g2000hsa.googlegroups.com>
Date: Thu, 7 Aug 2008 14:51:26 +0200
Message-ID: <fwnp4nmkilvo.1krs9drld1clv$.dlg@40tude.net>
NNTP-Posting-Date: 07 Aug 2008 14:51:27 CEST
NNTP-Posting-Host: 565ec675.newsspool4.arcor-online.net
X-Trace: 
 DXC=OE?[0VCQE5g>jlK2>IgHGd4IUK<Cl32<a4Fo<]lROoRaFl8W>\BH3Yb@85[;doF\8jDNcfSJ;bb[eFCTGGVUmh?dLK[5LiR>kgbZW0_d?cnhVc
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:1504
Date: 2008-08-07T14:51:27+02:00
List-Id: <comp.lang.ada>

On Thu, 7 Aug 2008 05:12:19 -0700 (PDT), Maciej Sobczak wrote:

> If you think that adding _V to variable names is unreasonable, you are
> not alone, but if at the same time you cannot find any obvious reason
> for _T in types being better than _V in variables, then the only
> honest conclusion is that all such rules are equally misplaced.

Right, in my, admittedly radical opinion, all cases where the programmer
sees two things for which he is tempted to use the same name (but cannot!),
indicate some problem. Apart from poor design it could be a language
problem as well. Like when an entity is introduced, which should better be
anonymous or inferred.

Consider T and class T. In Ada T'Class is inferred, against the named
equivalence otherwise typical for it. One could have chosen in Ada 83
spirit:

   type T is tagged ...
   type T_Class is class of T;

but then one would have a problem, how to name the class of T's?

Another example:

   Line : array (1..80) of Character;

no need to name the singleton's type, no problem to name that type.

I don't like _Type, _Ptr, _Ref, but I am using them. (:-))

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de