Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!yale!hsdndev!husc6!redsox!campbell
From: campbell@redsox.bsw.com (Larry Campbell)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 3)
Message-ID: <1991Mar17.131413.13312@redsox.bsw.com>
Date: 17 Mar 91 13:14:13 GMT
References: <609@optima.cs.arizona.edu> <25381:Mar1221:07:3891@kramden.acf.nyu.edu>
Reply-To: campbell@redsox.bsw.com (Larry Campbell)
Organization: The Boston Software Works, Inc.
Lines: 13

In article <25381:Mar1221:07:3891@kramden.acf.nyu.edu> brnstnd@kramden.acf.nyu.edu (Dan Bernstein) writes:
-In article <609@optima.cs.arizona.edu> gudeman@cs.arizona.edu (David Gudeman) writes:
-> Why should a programming language be expected to catch this type of
-> error at compile time, and not some other class of errors?  Why are
-> type errors so special?

Given the difficulty of completely testing all possible functions in any
large software product, the difference between catching the error at compile
time and catching it at runtime is the difference between YOU discovering the
error during development and the CUSTOMER discovering the error in the field.
-- 
Larry Campbell             The Boston Software Works, Inc., 120 Fulton Street
campbell@redsox.bsw.com    Boston, Massachusetts 02109 (USA)