Newsgroups: comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!newsstand.cit.cornell.edu!portc01.blue.aol.com!newsfeed.direct.ca!nntp.portal.ca!news.bc.net!arclight.uoregon.edu!enews.sgi.com!news.sgi.com!rutgers!news.new-york.net!news.interactive.net!news
From: Richie Bielak <richieb@calfp.com>
Subject: Re: Static vs. Dynamic typing again (was Re: OO, C++, and something much better!)
Content-Type: text/plain; charset=us-ascii
X-Nntp-Posting-User: (Unauthenticated)
Content-Transfer-Encoding: 7bit
Organization: IBS Interactive, Inc.
Message-ID: <32E7BD57.2558@calfp.com>
References: <JSA.97Jan16141937@alexandria> <E44u82.6uB@syd.csa.com.au> <mheaney-ya023280001601972303180001@news.ni.net> <32DF458F.4D5C@concentric.net> <32DF94DC.6FF8@watson.ibm.com> <32DFD972.37E4@concentric.net> <32E4FC5B.242C@watson.ibm.com> <32E6862D.608B@parcplace.com> <32E764D0.23D9@calfp.com> <32E7A686.56D@parcplace.com>
X-Mailer: Mozilla 3.0Gold (X11; I; SunOS 5.4 sun4m)
Mime-Version: 1.0
X-Trace: 854048041/1722
X-Nntp-Posting-Host: host024.nyc.interactive.net
Date: Thu, 23 Jan 1997 19:34:47 GMT
Lines: 24
Xref: glinda.oz.cs.cmu.edu comp.lang.smalltalk:49802 comp.lang.eiffel:17589 comp.lang.ada:56358 comp.object:60212

Eric Clayberg wrote:
> 
> Richie Bielak wrote:
> > but static typing _proves_ absence of certain kinds of errors.
> 
> That's all well and good, but if the percentage of those kinds of errors
> is absurdly low in your application to begin with, it doesn't buy you
> very much. 

[...]

What also wanted to say in my previous post is that static typing
proves that there is no call in the program that will cause
the "message not understood" error.

Is the chance of this kind of error "absurdly low"?

...richie

-- 
* richieb@netlabs.net       - at home |  Richie Bielak             *
* richieb@calfp.com         - at work |                            *
*          Home page:   http://www.netlabs.net/hp/richieb          *
*        "Fight software piracy, use free software!" (me)          *
