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

Show
Ignore:
Timestamp:
08/26/10 01:42:27 (3 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/Overview/EvaluationOrder

    v3 v4  
    4848        suspend2 f1 x1 x2 
    4949}}} 
     50 
     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 spend functions. The type of @suspend1@ is approximately: 
     52 
     53{{{ 
     54  suspend1 :: Pure !e => (a -(!e)> b) -> a -> b 
     55}}} 
     56 
     57Where @!e@ identifies the effect of the parameter function.