Changes between Version 16 and Version 17 of Language/Overview

Show
Ignore:
Timestamp:
08/26/10 01:38:35 (4 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview

    v16 v17  
    99 
    1010 
    11 Disciple uses region, effect and closure typing, and this information is used during compiler optimisations. Most of it can be inferred, but you do need to know about it when importing functions via the FFI. This extended type information 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. 
     11Disciple uses region, effect and closure typing, and this information is used during compiler optimisations. Most of it can be inferred, but you do need to know about it when importing functions via the FFI. This information is also used to check that the meaning of programs that mix laziness and destructive update does not depend the on order of evaluation for the lazy parts, which is one of the criteria for being a purely functional language. 
    1212 
    1313 * The [wiki:Language/Overview/EffectSystem EffectSystem] tracks what computational effects are being used in a program, without the need for state monads.