Changes between Version 4 and Version 5 of Language/Overview/EvaluationOrder

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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/EvaluationOrder

    v4 v5  
    4949}}} 
    5050 
    51 Suspending a function application requires it to have no visible side effects (be pure). This is achieved by adding effect constraints to the types of the spend functions. The type of @suspend1@ is approximately: 
     51Suspending a function application requires it to have no visible side effects (be pure). This is achieved by adding effect constraints to the types of the suspend functions. Eliding region and closure information for now, the type of `suspend1` is: 
    5252 
    5353{{{ 
     
    5555}}} 
    5656 
    57 Where @!e@ identifies the effect of the parameter function. 
     57Where `!e` identifies the effect of the parameter function.