Changes between Version 2 and Version 3 of Language/Overview/EffectSystem
- Timestamp:
- 06/17/10 02:52:39 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Language/Overview/EffectSystem
v2 v3 4 4 5 5 == Effect typing vs State monads == 6 Instead of state monads (like `IO`), Disciple uses default strict evaluation and effect typing to deal with computational effects. Effect typing helps us write less code because the types of effectful functions have the same shape as their pure counterparts.6 Instead of state monads (like `IO`), Disciple uses default strict evaluation and effect typing to deal with computational effects. Effect typing helps us write less code than in Haskell because the types of effectful functions have the same shape as their pure counterparts. 7 7 8 8 For example, in Haskell the pure map function has type:
