Basic slot type naming

From Erights

Revision as of 21:38, 31 March 2008 by Kevin Reid (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

The type of slot produced by a "var" pattern is called SimpleSlot, which is a name left over from when such slots were the unmarked case in the language. They should be renamed, since there is nothing especially simple about them.

We should also reevaluate the naming of the other slot types, especially if guard-based auditing becomes official, introducing the slot type tentatively named CoercedSlot.

The four basic slot types under their current names are as follows:

Immutable Mutable
Unguarded FinalSlot SimpleSlot
Guarded CoercedSlot GuardedSlot


Immutable Mutable
Unguarded FinalSlot VarSlot
Guarded CoercedSlot GuardedSlot
This is what E-on-CL currently does. This proposal does not address the CoercedSlot issue. --Kevin Reid 16:38, 31 March 2008 (CDT)
Immutable Mutable
Unguarded FinalSlot VarSlot
Guarded GuardedSlot  ????
Don't know what to put in the fourth position. --Kevin Reid 16:38, 31 March 2008 (CDT)


None yet.

Personal tools
more tools