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!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!feed2.news.rcn.net!rcn!feed3.news.rcn.net!not-for-mail Sender: jsa@rigel.goldenthreadtech.com 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> <5ksXc.22738$_H5.696424@news20.bellglobal.com> From: jayessay Organization: Tangible Date: 12 Sep 2004 12:50:42 -0400 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: DXC=h73;Kj]oLQESY@5W`e[WQI0R]m=BkYWIG:6bU3OT9S9J\2Yl5Mm9A9A^aM2i8keRmM7]JVUZ::bn@ X-Complaints-To: abuse@rcn.com Xref: g2news1.google.com comp.lang.ada:3628 Date: 2004-09-12T12:50:42-04:00 List-Id: kevin.cline@gmail.com (Kevin Cline) writes: > "Warren W. Gay VE3WWG" > > Brian May wrote: > > >>>>>>"Marc" == Marc A Criley writes: > > > > 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). > > If your Ada code raises Constraint_Error, you won't realize that until > you execute it. I don't see the big difference between a > Constraint_Error and a missing function error. Since the compiler > can't catch all the errors, I still have to test. And if I'm going to > test anyway, trivial errors like misspelled function names will be > discovered pretty quickly. In practice, I have found Kevin's position here to be exactly right. Typos are found immediately. The real problem here is that static typing (certainly as found in non formal type systems like Ada/C++/Eiffel/etc.) solves a problem that is actually fairly trivial. Note: The _solution_ is highly _non_ trivial. > > 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. > > I'm skeptical of this argument. Are you saying that you have no > problems delivering code that has never been tested? I would go beyond Kevin here and claim that the proposition (as much static analysis up front for most applications) is exactly backward. In nearly all applications this basically becomes a recipe for "naval gazing". /Jon -- 'j' - a n t h o n y at romeo/charley/november com