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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d89b08801f2aacae X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-02 17:21:01 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!news.demon.co.uk!demon!crushed.velvet.net!not-for-mail From: Aidan Skinner Newsgroups: comp.lang.ada Subject: Re: Is strong typing worth the cost? Date: Fri, 3 May 2002 00:17:15 +0000 (UTC) Organization: Velvet Networks Message-ID: References: <4519e058.0204290722.2189008@posting.google.com> <3CCE8523.6F2E721C@earthlink.net> <3CCEB246.9090009@worldnet.att.net> <3CCFD76A.A60BB9A8@flash.net> <3CD0A3B8.7B7C8622@san.rr.com> <3CD15FAE.6DEE0AD@despammed.com> <3CD16B60.93078396@san.rr.com> <3CD1B496.DBE8ADC4@san.rr.com> <3CD1BACC.8938FEAB@despammed.com> <3CD1D17B.F60DCB89@san.rr.com> NNTP-Posting-Host: localhost.velvet.net X-NNTP-Posting-Host: crushed.velvet.net:62.49.231.23 X-Trace: news.demon.co.uk 1020385205 nnrp-14:28560 NO-IDENT crushed.velvet.net:62.49.231.23 X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Fri, 3 May 2002 00:17:15 +0000 (UTC) User-Agent: slrn/0.9.7.2 (OpenBSD) Xref: archiver1.google.com comp.lang.ada:23462 Date: 2002-05-03T00:17:15+00:00 List-Id: On Thu, 02 May 2002 23:52:46 GMT, Darren New wrote in <3CD1D17B.F60DCB89@san.rr.com>: > subprogram. Which means you can't write a unit test that fails without > touching the the production code. Before you can run a test, you have to Yes you can. It's just that your test suite fails to compile. Which is a pretty big failure. ;) > implement the function called, and then tell the debugger to resume from > where it was interrupted. I haven't seen any Ada system that will let > you come close to the ease of debugging that Smalltalk allows. Neither have I. But then I haven't seen many systems that allow the ease of debugging that Smalltalk allows. > > Apparently you are as familiar with Ada > > as I am with XP. > > Err, no. Apparently, you don't understand enough about XP to even have > an idea of why Ada is poorly suited to it. I don't think Ada is really that poorly suited to it. OnceAndOnlyOnce is harder to achieve than in Smalltalk (for reasonably strict interpretations of OAOO), but then there are few languages as well suited to XP as Smalltalk. Which is hardly surprising, given XPs history. OTOH, Ada's strong typing can be used to mitigate some of the same problems as OAOO. Specifically the "one of the versions will be out of date" problem. In your example the compiler will catch the change of parameter type and tell me about it. It will take slightly longer to fix than if it was in Smalltalk, but won't lead to buggy code compiling. Further, it's strong typing actively *aids* OAOO in the case where you're doing range checking etc, you can leave it up to the compiler in most places. :) - Aidan -- aidan@velvet.net http://www.velvet.net/~aidan/ aim:aidans42 finger for pgp key fingerprint |Unix Programmer/Admin actively seeking work 01AA 1594 2DB0 09E3 B850 |CV at http://www.velvet.net/~aidan/cv.txt C2D0 9A2C 4CC9 3EC4 75E1 |Gis a job, go on, I can do that, go on, gis it.