What is a type error?

[Marshall]

Pascal Costanza wrote:
>
> Consider division by zero: appropriate arguments for division are
> numbers, including the zero.

A bold assertion!

The general question is, what do we do about partial functions?


> The dynamic type check will typically not
> check whether the second argument is zero, but will count on the fact
> that the processor will raise an exception one level deeper.

This is an implementation artifact, and hence not relevant to our
understanding of the issue.


Marshall