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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fdb77,5f529c91be2ac930 X-Google-Attributes: gidfdb77,public X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,59ec73856b699922 X-Google-Attributes: gid1108a1,public X-Google-ArrivalTime: 2003-05-11 17:06:10 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn12feed!worldnet.att.net!199.45.49.37!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny01.gnilink.net.POSTED!53ab2750!not-for-mail From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4b) Gecko/20030419 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.java.advocacy,comp.object,comp.lang.ada Subject: Re: Using Ada for device drivers? (Was: the Ada mandate, and why it collapsed and died) References: <9fa75d42.0304230424.10612b1a@posting.google.com> <9fa75d42.0304240446.493ca906@posting.google.com> <3EA7E0E3.8020407@crs4.it> <9fa75d42.0304240950.45114a39@posting.google.com> <4a885870.0304291909.300765f@posting.google.com> <416273D61ACF7FEF.82C1D1AC17296926.FF0BFD4934A03813@lp.airnews.net> <9fa75d42.0305010621.55e99deb@posting.google.com> <0-WcnWfafqsNpiyjXTWcqw@gbronline.com> <1051804573.732603@master.nyc.kbcfp.com> <3EBE9BD4.1050008@attbi.com> <3EBEC762.3030705@attbi.com> In-Reply-To: <3EBEC762.3030705@attbi.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Mon, 12 May 2003 00:06:11 GMT NNTP-Posting-Host: 162.84.205.197 X-Complaints-To: abuse@verizon.net X-Trace: nwrdny01.gnilink.net 1052697971 162.84.205.197 (Sun, 11 May 2003 20:06:11 EDT) NNTP-Posting-Date: Sun, 11 May 2003 20:06:11 EDT Xref: archiver1.google.com comp.lang.java.advocacy:63539 comp.object:63218 comp.lang.ada:37211 Date: 2003-05-12T00:06:11+00:00 List-Id: Robert I. Eachus wrote: > Did you read what I wrote, really? Sure. > Should I have included the notes in the Shufflling routine which > showed why this particular method of generation permutations was > unbiased? Okay done: Okay, thanks. Since not all Ada programmers are the author of random number generators for Ada compilers, you should agree that this is an issue that can be overlooked, and could produce incorrect results that would not be caught by Ada language facilities. An impression I often get from Ada proponents is that the errors that Ada catches are the (only) ones that matter. And by the way... > type Suits is (...); > type Ranks is (...); > Deck: Card_Array(0..51); What's up with that 51? Shouldn't that be a calculation based on the Suits'Last'Pos and Ranks'Last'Pos?