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: 11232c,59ec73856b699922 X-Google-Attributes: gid11232c,public X-Google-Thread: fdb77,5f529c91be2ac930 X-Google-Attributes: gidfdb77,public X-Google-Thread: 1108a1,59ec73856b699922 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-02 06:07:52 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: softeng3456@netscape.net (soft-eng) Newsgroups: comp.lang.java.advocacy,comp.object,comp.lang.ada,misc.misc Subject: Re: Using Ada for device drivers? (Was: the Ada mandate, and why it collapsed and died) Date: 2 May 2003 06:07:52 -0700 Organization: http://groups.google.com/ Message-ID: <9fa75d42.0305020507.6d071f2b@posting.google.com> References: <9fa75d42.0305011727.5eae0222@posting.google.com> <4F03C83A9C6A478F.688C62D70A2EADA3.068FE6EB5E241C3B@lp.airnews.net> NNTP-Posting-Host: 32.97.239.29 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1051880872 6452 127.0.0.1 (2 May 2003 13:07:52 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 2 May 2003 13:07:52 GMT Xref: archiver1.google.com comp.lang.java.advocacy:63036 comp.object:62537 comp.lang.ada:36851 misc.misc:13893 Date: 2003-05-02T13:07:52+00:00 List-Id: "John R. Strohm" wrote in message news:<4F03C83A9C6A478F.688C62D70A2EADA3.068FE6EB5E241C3B@lp.airnews.net>... > 'first and 'last are necessary if you want to write loops over an arbitrary > index type. 'succ and 'pred are absolutely critical if you want to step Yes, each and every single itsy-bitsy feature of Ada can be justified in some way or the other. > The key is that, by putting them in the language, it is absolutely > guaranteed that they will be implemented CORRECTLY, every time, with NO The key is that by putting all these large number of trivialities in the language, you make sure the language will be very large. > PASCAL and Ada. When C++ came out, and it was strongly typed, the silence > from that corner of the auditorium was absolutely deafening. Because C++ type safety allowed them to do whatever they had been doing all along, while saving them from the typos in what they had been doing all along. If it hadn't, there would have been absolutely no hue and cry over it -- because C++ would have remained an obscure research project. > Hardly. Stroustrup took type safety in C++ from Simula 67, which actually > predated PASCAL. The Object Oriented architecture came from Simula 67 (I am sure he must have been influenced by Smalltalk et al too.) But the strong typing of C++ was designed to fit well the existing C style of programming. In fact, it was later retrofitted into C (without breaking most existing code.)