Re: Static/Dynamic typing, lessons from the field

Kaz Kylheku wrote:

Firstly, ignoring for a second the idea that catching type exceptions
can be incorporated into the logic of a software system, type checking
is not strictly required. A program that is free of type mismatch
errors will run properly whether or not type checking is performed. It
chugs along and always correct operations to correctly typed data.

That's not quite correct. When you have an object system in which messages are dispatched dynamically, you are effectively relying on type checks to determine the meaning of your program.


Pascal

--
My website: http://p-cos.net
Closer to MOP & ContextL:
http://common-lisp.net/project/closer/
.