What is a type error?

Pascal Costanza pc at p-cos.net
Tue Jun 27 22:59:47 CEST 2006

Marshall wrote:
> 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.

No, it's not. I am pretty sure that you can model this formally.


3rd European Lisp Workshop
July 3 - Nantes, France - co-located with ECOOP 2006

More information about the Python-list mailing list