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


Ignore:
Timestamp:
Aug 26, 2010, 12:42:27 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/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.