Changes between Version 2 and Version 3 of Language/Overview

Show
Ignore:
Timestamp:
06/17/10 03:11:48 (4 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview

    v2 v3  
    77 * All data objects support [wiki:Language/Overview/DestructiveUpdate DestructiveUpdate]. 
    88 * The [wiki:Language/Overview/EffectSystem EffectSystem] tracks what computational effects are being used in a program, without the need for state monads. 
    9  * The [wiki:Language/Overview/ClassSystem ClassSystem]] ensures that effects and destructive update play nicely with laziness. 
     9 * The [wiki:Language/Overview/ClassSystem ClassSystem] ensures that effects and destructive update play nicely with laziness. 
    1010 * [wiki:Language/Overview/ClosureTyping ClosureTyping] is used to track data sharing, and to preserve soundness in the presence of [wiki:Language/Overview/PolymorphicUpdate PolymorphicUpdate].