Changes between Version 1 and Version 2 of Alpha/Language/Overview/PolymorphicUpdate


Ignore:
Timestamp:
Aug 26, 2010, 1:18:23 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/Language/Overview/PolymorphicUpdate

    v1 v2  
    5252Ultimately, the problem illustrated above arose because there wasn't a mechanism to track the sharing of data between successive calls to `getSet2`. When `makeGetSet` was evaluated it created a shared mutable object (the `box`) and then returned functions that had this object free in their closure.
    5353
    54 In Disciple, `makeGetSet` has the full type:
     54In Disciple, `makeGetSet` has the extended type:
    5555{{{
    5656makeGetSet