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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/EffectSystem

    v3 v4  
    3838}}} 
    3939 
    40 In this type, `!e1` is an ''effect variable'', much like `a` is a type variable. `!Console` is an ''effect constructor'' which tells us what else happens when `putStr` is called, besides evaluating the return value. 
     40In this type, `!e1` is an ''effect variable'', much like `a` is a type variable. `!Console` is an ''effect constructor'' which tells us what else happens when `putStr` is called, besides returning a unit value. 
    4141 
    4242Because this second version of `putStr` doesn't have the monad in its type, we can just use the plain version of `map` and not have to worry about `mapM`.