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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,e55245590c829bef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 04 Nov 2010 11:29:02 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Beginners question: Compound types, how-to?
References: <86wroy58ff.fsf@gareth.avalon.lan>
 <iale5p$2f6$1@tornado.tornevall.net> <86pqup5xfy.fsf@gareth.avalon.lan>
 <becbd7a4-89e6-4d81-b7d8-7d18ac75c1f9@j2g2000yqf.googlegroups.com>
 <86y69d3rec.fsf@gareth.avalon.lan> <ian4b2$p9h$1@tornado.tornevall.net>
 <op.vlibn4shule2fv@garhos> <Xns9E25839F7A0A1WarrensBlatherings@81.169.183.62>
 <4cd19583$0$6977$9b4e6d93@newsspool4.arcor-online.net>
 <op.vll3wz2eule2fv@garhos>
 <4cd1e5b0$0$6974$9b4e6d93@newsspool4.arcor-online.net>
 <op.vlmglzo9ule2fv@garhos>
In-Reply-To: <op.vlmglzo9ule2fv@garhos>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4cd28aed$0$7658$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 04 Nov 2010 11:29:01 CET
NNTP-Posting-Host: cb40657d.newsspool1.arcor-online.net
X-Trace: 
 DXC=5^I?X3l8=[@2jYf>V4L0gLic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgBI3?B2M?cZ7GPCY\c7>ejVHQQfIKUEA2ZG0NnC0NmZQiH
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:16179
Date: 2010-11-04T11:29:01+01:00
List-Id: <comp.lang.ada>

On 11/4/10 2:19 AM, Yannick Duchêne (Hibou57) wrote:
>  I
> still could not fix it, as Opera seems to not handle
> the option as expected. Hope to fix it later, for
> the time, it is manual formating (with your quote
> as a ruler).

Thank you!

>> You have just started to answer my question about finding
>> object names: What is the role of the just-any-book variable
>> in the loop in Run_Inventory? What does the loop do to the
>> just-any-book object? If there is some information, fine,
>> the name is very much at hand.

What about these?  Is there no information about just-any-book?

>> Otherwise, I'd do the same
>> as Simon Wright and just use the letter B. As long as there
>> aren't too many symbols around. But I'd *not* use Book and
>> have readers sort out name spaces!
> This, is not formal argument, this is a matter of taste,
> just as is the difference between writing A_Book or Book_Type

OK, taste.
But here is a formal argument:

A_Book and Book_Type have Book in them, with _Type
adding no meaning, only usage information, A_ adding
the specific that some book was meant (though I might
be misreading A_Book, IIRC Bill Findlay's convention.)
Book conveys neither by itself.

Another argument about formal things.  Ada's type declarations
make me think that _Type was never intended:

    type Foo_Type is range 1 .. 10;
    ^^^^     ^^^^

And here is another formal argument:

I'd prefer A_Book, too, if I have to, because the book
object "is a" book.  If you declare

   Book: Book_Type;

then you'd have to say that Book "is a" Book_Type.
That's from the Department of Redundancy Department,
at best;  formally, it seems just wrong.