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!newsfeed.icl.net!proxad.net!feeder2-1.proxad.net!news18-e.free.fr!not-for-mail Newsgroups: comp.lang.ada Subject: Re: ADA Popularity Discussion Request References: <49dc98cf.0408110556.18ae7df@posting.google.com> <6F2Yc.848$8d1.621@newsread2.news.pas.earthlink.net> From: Jean-Marc Bourguet Date: 05 Sep 2004 19:28:19 +0200 Message-ID: <87eklg62x8.fsf@news.bourguet.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Organization: Guest of ProXad - France NNTP-Posting-Date: 05 Sep 2004 19:27:52 MEST NNTP-Posting-Host: 82.254.168.252 X-Trace: 1094405272 news18-e.free.fr 8166 82.254.168.252:32918 X-Complaints-To: abuse@proxad.net Xref: g2news1.google.com comp.lang.ada:3340 Date: 2004-09-05T19:27:52+02:00 List-Id: kevin.cline@gmail.com (Kevin Cline) writes: > Once you decide to test code before you write it, strong > typing loses most of it's value. Well, I've been told that the earlier you detect an error, the easier and the cheaper it was to fix it. This is corrobated by my experience. Errors detected by strong type checking are found earlier than those detected by testing. More, testing can only show that something happen. Type checking ensure that something does not happen. So with testing you'll test only the cases you have though about. Most probably the one which are corrects. So testing will catch only parts of the error that strong type checking will find and that at an higher price. That is not to say that testing should be dropped: there are problems which are not detected by type checking, but the earlier detection -- and more precise localisation -- of the problems worth the cost of strong type checking. Yours, -- Jean-Marc