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. Pascal -- 3rd European Lisp Workshop July 3 - Nantes, France - co-located with ECOOP 2006 http://lisp-ecoop06.bknr.net/ -- http://mail.python.org/mailman/listinfo/python-list
