Why static typed languages are sometimes better.

[Ville Vainio]

>>>>> "Mike" == Mike Austin <mike at mike-austin.com> writes:

    Mike> There are dynamically typed language such as Dylan and CLOS
    Mike> that can put restrictions on what type of arguments are
    Mike> passed to functions, and fail if there is no match.
    Mike> Although this is using a mechanism -- multimethods.  On

Common Lisp supports optional type declarations also without
CLOS/multimethod mechanism. Type declarations are used to improve
performance of the compiled code.

Guido has said (Nokia "Python for S60" workshop in June) that Python
will also have such declarations at some point in time.

    Mike> that thought, are multimethods considered to be a form of
    Mike> type checking, or simply a mechanism? Hmm.

Multimethods (as a runtime mechanism) can be used in Python too,
multiple solutions have been presented on the net.

-- 
Ville Vainio   http://tinyurl.com/2prnb