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,74b55538385b7366 X-Google-Attributes: gid103376,public From: Robert A Duff Subject: Re: Ada safety road Was: Which is right ... Date: 1999/06/08 Message-ID: #1/1 X-Deja-AN: 487168095 Sender: bobduff@world.std.com (Robert A Duff) References: <928083159.436.79@news.remarQ.com> <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com> <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com> <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com> <1999Jun6.181633.1@eisner> <7jho5j$649$1@nnrp1.deja.com> Organization: The World Public Access UNIX, Brookline, MA Newsgroups: comp.lang.ada Date: 1999-06-08T00:00:00+00:00 List-Id: Robert Dewar writes: > The RM is *full* of ordinary english words used in a formal > manner. You have to make clear that you are speaking this > formal terminology when you do, and you should speak it only > to the initiated :-) There aren't many examples that are as misleading as "erroneous". I object to calling that type in Standard "Integer", as if God created only a few billion of them. And then we have to invent a new name, "universal integer" for God's integers. Sheesh. > There are many cases where this can cause trouble, for example > how many people think a generic package is a package (it is > NOT, and this is critical in understanding the RM). This doesn't bother me -- this is the way English works, and the RM is not being naughty here. A would-be king is not a king. A retired plumber is not a plumber. A bogus doctor is not a doctor. A former president is not a president. A non-partisan is not a partisan. On the other hand, "template" would be clearer than "generic". In fact, the very first paragraph of chapter 12 says, "A generic unit is template..." ;-) - Bob -- Change robert to bob to get my real email address. Sorry.