[Types-sig] Attributes proposal

Greg Stein gstein@lyra.org
Thu, 16 Dec 1999 15:20:21 -0800 (PST)

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.


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