[Types-sig] Handling attributes

[Paul Prescod]

> Yes. My reluctance to specify types for instance variables is caused by
> problems with designing a nice, inline syntax for it. If you're not
> worrying about an inline syntax, then you can definitely add typedecls for
> instance and class attributes.

Okay, but what about all of the other questions (updated slightly):

        b. do we check assignments to class and module attributes from
other
modules at runtime? We need to expect that some cross-module assignments
will come from modules that are not statically type checked.

        c. should we perhaps just disallow writing to "declared"
attributes
from other classes and modules?

        d. is it possible to write to UN-declared attributes from other
people's classes and modules? And what are the type safety implications 
of doing so?

-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things to be wary of: A new kid in his prime
A man who knows the answers, and code that runs first time
http://www.geezjan.org/humor/computers/threes.html