"Hendrik van Rooyen" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] | I am relatively new on this turf, and from what I have seen so far, it | would not bother me at all to tie a name's type to its first use, so that | the name can only be bound to objects of the same type as the type | of the object that it was originally bound to. | | But maybe I am missing the point of dynamism. | | Would an implementation of the above break lots of stuff in practice?
For function local variables, if you mean 'originally bound to' in the current call invocation, that would sometimes be ok (and that is sort of what Psycho does). But if you mean in the original binding in the first call invocation, then that would cripple many functions. tjr -- http://mail.python.org/mailman/listinfo/python-list