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,LOTS_OF_MONEY autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,f7a6385d57e1fb5b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-04-02 07:46:10 PST Newsgroups: comp.lang.ada Path: supernews.google.com!sn-xit-03!supernews.com!freenix!isdnet!newsfeed.online.be!zur.uu.net!ash.uu.net!world!bobduff From: Robert A Duff Subject: Re: Bitwise operators Sender: bobduff@world.std.com (Robert A Duff) Message-ID: Date: Mon, 2 Apr 2001 14:44:17 GMT References: <17%x6.222$UK4.21679@www.newsranger.com> Organization: The World Public Access UNIX, Brookline, MA X-Newsreader: Gnus v5.3/Emacs 19.34 Xref: supernews.google.com comp.lang.ada:6348 Date: 2001-04-02T14:44:17+00:00 List-Id: Newsgroups: comp.lang.ada Subject: Re: Bitwise operators References: <17%x6.222$UK4.21679@www.newsranger.com> --text follows this line-- Ted Dennison writes: > > In article , Robert A Duff says... > > > >Ted Dennison writes: > > > >> Boolean, arrays of Boolean, and Modular types support them. Integers do not. > > > >Modular types *are* integer types. > Clearly I meant things specified by the identifier *integer* or one of > its subtypes, No, I think you meant "signed integer types". This includes types derived from Standard.Integer, and integer types declared the "usual" way (ie, "type T is range A..B;"), which have nothing to do with the identifier Integer. >... not what the LRM (IMHO confusingly) refers to as integer > types (which includes modular types, as well as the type > "integer"). It's confusing to me, too. But I suspect it's only confusing to you and me because we learned Ada 83 first, where "integer type" refered to what is now called "signed integer type". True? After all, both signed integer and modular types have mathematical integers as their values. So why shouldn't both be called integer types? >... Admittedly, the "proper" LRM term for this is "signed > integer type", but bringing up strict LRM terminology in a beginner > thread is only going to confuse the reader. Sorry for all this nitpicking. But I really don't agree that beginners should be taught the wrong terminology. It will only confuse them when they try to read something about Ada (the RM or a text book). Now I admit that I say "pointer" instead of "access type" or "access value" when I'm talking informally about Ada programs. But that doesn't confuse -- pointers point at things, and there's no conflicting definition of pointer in the Ada RM. But there *is* a definitiion of "integer type", so I think you will confuse people when you say "integer type" to mean "signed integer type". - Bob