Changes between Version 2 and Version 3 of Language/Overview/ClassSystem

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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/ClassSystem

    v2 v3  
    7171 
    7272== Effect purification == 
    73 Besides manually added annotations, the main source of `Const` constraints in a Disciple program is the use of laziness. Remember from [[DDC/EvaluationOrder|EvaluationOrder]] that the suspension operator `(@)` maps onto a set of primitive `suspend` functions. 
     73Besides manually added annotations, the main source of `Const` constraints in a Disciple program is the use of laziness. Remember from [wiki:Language/Overview/EvaluationOrder EvaluationOrder] that the suspension operator `(@)` maps onto a set of primitive `suspend` functions. 
    7474 
    7575If we wanted a lazy version of `succ` that only incremented its argument when the result was demanded, then we could write it like this: