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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,703c4f68db81387d X-Google-Thread: 115aec,703c4f68db81387d X-Google-Thread: f43e6,703c4f68db81387d X-Google-Attributes: gid103376,gid115aec,gidf43e6,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Wes Groleau Newsgroups: comp.lang.ada,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: Wed, 09 Mar 2005 22:59:23 -0500 Organization: Ain't no organization here! Message-ID: <399v09F5tsn8uU1@individual.net> References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au> <1110032222.447846.167060@g14g2000cwa.googlegroups.com> <871xau9nlh.fsf@insalien.org> <3SjWd.103128$Vf.3969241@news000.worldonline.dk> <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02> <1110284070.410136.205090@o13g2000cwo.googlegroups.com> <395uqaF5rhu2mU1@individual.net> <112rs0bdr2aftdf@corp.supernews.com> <1inxxr988rxgg$.1w9dedak41k89.dlg@40tude.net> <112s1r0rf0o8nca@corp.supernews.com> <112sonip5v4dca6@corp.supernews.com> <112t3de6fu04f38@corp.supernews.com> <1110396477.596174.285520@o13g2000cwo.googlegroups.com> <112vb2t8eonuhed@corp.supernews.com> Reply-To: groleau+news@freeshell.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: individual.net oHqe2/OdLeGyZ7xjjCDfwQzC/65QvOJEfEjscbALETc+BNWc75 User-Agent: Mozilla Thunderbird 1.0 (Macintosh/20041206) X-Accept-Language: en-us, en In-Reply-To: <112vb2t8eonuhed@corp.supernews.com> Xref: g2news1.google.com comp.lang.ada:9000 comp.realtime:1176 comp.software-eng:4739 Date: 2005-03-09T22:59:23-05:00 List-Id: CTips wrote: > Nope, I'm not saying that. What I am saying is that: > - the safety features of Ada can come with a significant run-time cost You have said it, but you haven't been very convincing. > - you're going to end up escaping out of Ada for a lot of things > (particularily in systems programming). I'm not convinced here, either. Some people are so unconvinced that they are trying to write an entire operating system in Ada. There is a X-server (or is it just an X11R6 client library?) written in Ada which I've heard is quite efficient and robust. > Also, since a lot of interesting things require escaping from the core > language and bending the rules of the language, you have two options: > - you can write it all in assembly > - or you can write in a language where you can reasonably expect that > your bending of the rules won't make the compiler do something you > didn't expect. !?! If you are truly "bending the rules," how can you expect anything but surprises? What exactly _is_ a "rule" in this usage? Ada rules are quite clear: A {some set of constructs} will never compile. B {another set of constructs} is explicitly stated to have unpredictable results. C {another set} has the results of each clearly defined. D {another very small set} might exist, things that just didn't get thought of. "bending the rules" puts you in group A. "following the rules" puts you in group C. "being stupid" puts you in group B. One advantage of Ada and languages like it is that sets B and D are much smaller. -- Wes Groleau ------ "The reason most women would rather have beauty than brains is they know that most men can see better than they can think." -- James Dobson