[Types-sig] Attributes proposal

[Greg Stein]

On Thu, 16 Dec 1999, Paul Prescod wrote:
> My proposal for handling attributes is this:
> 
> An attribute's type can be declared. Writes to the attribute from the
> same module can be statically type checked (if requested). Writes to the
> attribute from other modules are checked at runtime. That way we can
> always know the type of the attribute value and can therefore make
> reasonable use of the attribute in statically type checked functions.
> 
> Opinions?

Punt issues of writeability to a later revision. Concentrate on type
checking instead. Assume that an attribute's declared type is correct.

Cheers,
-g

-- 
Greg Stein, http://www.lyra.org/