Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!think.com!hsdndev!cmcl2!kramden.acf.nyu.edu!brnstnd
From: brnstnd@kramden.acf.nyu.edu (Dan Bernstein)
Newsgroups: comp.lang.misc
Subject: Re: dynamic typing, part 3
Message-ID: <3752:Apr1414:47:2191@kramden.acf.nyu.edu>
Date: 14 Apr 91 14:47:21 GMT
References: <KJX.91Apr10012252@turakirae.comp.vuw.ac.nz>
Organization: IR
Lines: 9

In article <KJX.91Apr10012252@turakirae.comp.vuw.ac.nz> kjx@comp.vuw.ac.nz (R James Noble) writes:
> Obviously, even in so-called statically-typed languages, division and
> array indexing can produce runtime errors that could be considered
> type errors (on the variable foo, especially if it had a subrange type).

And they could also be considered exceptions, which are not type errors.
I'm not sure what people are trying to prove with this division example.

---Dan