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: 103376,1b41412c7bc28c47 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!postnews.google.com!d77g2000hsb.googlegroups.com!not-for-mail From: Martin Newsgroups: comp.lang.ada Subject: Re: Suffix _T for types found good Date: Wed, 20 Aug 2008 01:52:07 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <2e9ebb23-a68b-43cf-8871-febcb173f951@56g2000hsm.googlegroups.com> <4899d2af$0$19731$4d3efbfe@news.sover.net> NNTP-Posting-Host: 20.133.0.8 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: posting.google.com 1219222328 1821 127.0.0.1 (20 Aug 2008 08:52:08 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 20 Aug 2008 08:52:08 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: d77g2000hsb.googlegroups.com; posting-host=20.133.0.8; posting-account=g4n69woAAACHKbpceNrvOhHWViIbdQ9G User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.1) Gecko/2008070208 Firefox/3.0.1,gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:7395 Date: 2008-08-20T01:52:07-07:00 List-Id: Ray Blaak wrote: > Martin writes: [snip] > A type is not an indefinite instance either, or any instance at all. A type is > a contract specifying behaviour and storage. But that's pretty much defines an indefinite article...it isn't an instance. > My suspicion is that this is motivated so that it reads better in English, > e.g. "the buffer is a buffer". > > Unfortunately, this is not the semantics of the programming language. The > semantics are: > > "The_Buffer" is now in scope, and its type is "Buffer". > > This is more succinctly expressed as: > > The_Buffer : Buffer > > As programmers we are quite used to understanding code. We are required to > keep things readable *and* accurate. I'm not sure how one is more or less accurate than the other - you could equally have written "The_Buffer" is now in scope, and its type is "A_Buffer". The important bit (semantically) is the bit about 'scope' that we both had to hand write and which had nothing to do with the name of either the object or the type... > > I've used (and mandated) the "A_"/"An_" prefixes on a few projects and > > it does work quite well and read fine. > > Well, there you go. Use it as you like if it works for you, but I can't stand > it. Yes, it is mostly a "taste" thing...but if you do wish to 'mimic' English, then types not objects are definitely indefinite! ;-) > -- > Cheers, The Rhythm is around me, > The Rhythm has control. > Ray Blaak The Rhythm is inside me, > rAYblaaK@STRIPCAPStelus.net The Rhythm has my soul. Gabriel is good...only with 1 'o' :-)