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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/EffectSystem

    v4 v5  
    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 returning a unit value. 
     40In this type, `!e1` is an ''effect variable'', much like `a` is a type variable. `!Console` is an ''effect constructor'' that 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`.