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

Show
Ignore:
Timestamp:
06/17/10 02:52:39 (4 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/EffectSystem

    v2 v3  
    44 
    55== 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. 
     6Instead 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. 
    77 
    88For example, in Haskell the pure map function has type: