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: f43e6,9a0ff0bffdf63657 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,4b06f8f15f01a568 X-Google-Attributes: gid103376,public X-Google-Thread: fac41,9a0ff0bffdf63657 X-Google-Attributes: gidfac41,public From: "Pat Rogers" Subject: Re: Is there a language that Dijkstra liked? (was: Re: Software landmines (loops)) Date: 1998/10/26 Message-ID: <712r19$rs5$1@supernews.com>#1/1 X-Deja-AN: 405334538 References: <712i5t$9i$1@nnrp1.dejanews.com> X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4 X-Complaints-To: newsabuse@supernews.com X-Trace: 909438825 Y6JRGRJUHDE25C640C usenet77.supernews.com Organization: http://www.supernews.com, The World's Usenet: Discussions Start Here Newsgroups: comp.lang.eiffel,comp.software-eng,comp.lang.ada Date: 1998-10-26T00:00:00+00:00 List-Id: Ehud Lamm wrote in message ... >On Mon, 26 Oct 1998 dennison@telepath.com wrote: >Still - Remember you can achieve all the run time checking functionality >in any language. It is just that in some languages you have to code it >explicitly. But you want your code to be of quallity - you just have to do >it. Explicitly coded checks come at a price, though, that language-defined checks may be able to avoid. The array indexing example (snipped) illustrates the issue: sure, we can write our C++ (for example) array class to throw an exception if the index bounds test fails, but will the optimizer be able to remove the explicitly-coded test for static index values (i.e. those that can be checked at compile-time)? I don't see how. In Ada, the fact that the check is defined by the language means that we don't explicitly write the it ourselves, and the optimizer then has freedom to help us with performance. Ironic, isn't it? --- Pat Rogers Training & Development in: http://www.classwide.com Deadline Schedulability Analysis progers@acm.org Software Fault Tolerance (281)648-3165 Real-Time/OO Languages