Changes between Version 2 and Version 3 of Language/Overview/ClassSystem
- Timestamp:
- 06/17/10 03:12:13 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Language/Overview/ClassSystem
v2 v3 71 71 72 72 == 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.73 Besides 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. 74 74 75 75 If we wanted a lazy version of `succ` that only incremented its argument when the result was demanded, then we could write it like this:
