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

Show
Ignore:
Timestamp:
08/26/10 02:18:23 (3 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • 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