(Difference between revisions)
an [[ Slot]] that aquires its value at creation/definition time and there after always returns that value. |+|
FinalSlotis [] its value and .
| || |
|-|The : final guard checks if the slot passed is an FinalSlot. |+|
| || |
|-|An anology for people that design computer hardware is that defining an FinalSlot is akin to manifacture an ROM containing the |+|
FinalSlot is the
Revision as of 15:29, 25 March 2008
FinalSlot is the type of slot which underlies a final pattern. It is PassByCopy; it is given its value when it is created and cannot be assigned.
The FinalSlot guard is parameterizable with a guard for the value; e.g.
makeFinalSlot(1) :FinalSlot[float64] => <& 1.0>
Returns the FinalSlot guard, which all products of this maker pass.
Makes a FinalSlot with the specified value.