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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c406e0c4a6eb74ed X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.maxwell.syr.edu!wns13feed!worldnet.att.net!207.35.177.252!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail From: "Warren W. Gay VE3WWG" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ADA Popularity Discussion Request References: <49dc98cf.0408110556.18ae7df@posting.google.com> <1092233689.719755@master.nyc.kbcfp.com> <2nutq5F4sdqqU1@uni-berlin.de> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <5ksXc.22738$_H5.696424@news20.bellglobal.com> Date: Thu, 26 Aug 2004 17:11:00 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1093554561 198.96.223.163 (Thu, 26 Aug 2004 17:09:21 EDT) NNTP-Posting-Date: Thu, 26 Aug 2004 17:09:21 EDT Organization: Bell Sympatico Xref: g2news1.google.com comp.lang.ada:3052 Date: 2004-08-26T17:11:00-04:00 List-Id: Brian May wrote: >>>>>>"Marc" == Marc A Criley writes: > Marc> Ada's enforcement of strong typing and runtime checks points > Marc> out when a programmer has made a mistake, whether as a > Marc> result of requirements, design, or coding error. (Of course > Marc> no one is suggesting that Ada would catch all requirements > Marc> or design errors--that's a ridiculous > Marc> mischaracterization--but when errant reqs or design lead to > Marc> a particular implementation, internal contradictions may > Marc> result in type conflicts or constraint errors.) > > Ada has a lot of rules which you have to comply with when > programming. I suspect some programmers find these rules obscure, > weird and limiting[1]. These people prefer the freedom in other > languages like Perl where there is infinity+1 ways of doing the same > thing. > > Personally, if I make a mistake, I want to find out sooner rather then > later, and this requires good compiler time checking. Even if the > program is not a mission critical program. Ada is the language I know > with the highest level of checks at compile time. Agree completely. > There is the argument that languages like PHP are best for quick&dirty > prototypes. The counter argument is that these quick&dirty prototypes > often evolve into the one complicated mess of code that everyone > relies on. This reminds me of Perl. I have always maintained that Perl has its place, but not in "production". > I can't understand the trend in the other direction towards languages > like PHP, if you make a typo in a function name for instance, you > won't realize until that like of code is executed, and even then you > might miss the error message (for instance if it is not on screen). Postscript is very much like this (nice language for what it does). You write out your code and you execute it. Ie. you go from writing the code straight into debugging. There is not even a precompile step (like BASIC). And if your testing doesn't cover all of the cases (path coverage), then surprises lurk for you on some future black Monday. I have to say that for most applications, I would rather have as much static analysis done up front as possible. This substantially reduces the need for testing for non-mission critical things. With dynamic languages (like Postscript for example), you need to test everything to have any confidence at all in the code. -- Warren W. Gay VE3WWG http://home.cogeco.ca/~ve3wwg