Changes between Version 3 and Version 4 of Language/Overview

Show
Ignore:
Timestamp:
06/17/10 03:32:36 (5 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview

    v3 v4  
    33= Overview = 
    44 
     5These are the main user-visible features: 
    56 * Strict [wiki:Language/Overview/EvaluationOrder EvaluationOrder] is the default, laziness is introduced explicitly. 
    67 * Type directed [wiki:Language/Overview/FieldProjections FieldProjections] complement type classing. 
    78 * All data objects support [wiki:Language/Overview/DestructiveUpdate DestructiveUpdate]. 
     9 
     10Disciple also includes region, effect and closure typing extensions. Most of this information can be inferred, but you do need to know about it when importing functions via the FFI. It is also used to check that the meaning of programs that mix laziness and destructive update does not depend on order of evaluation for the lazy parts, which is one of the criteria for being a purely functional language. 
     11 
    812 * The [wiki:Language/Overview/EffectSystem EffectSystem] tracks what computational effects are being used in a program, without the need for state monads. 
    913 * The [wiki:Language/Overview/ClassSystem ClassSystem] ensures that effects and destructive update play nicely with laziness.