Changes between Version 12 and Version 13 of Language/Overview/EffectSystem

Show
Ignore:
Timestamp:
08/26/10 02:00:25 (4 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/EffectSystem

    v12 v13  
    4848}}} 
    4949 
    50 We still think the `Monad` type class is useful, and we support it as well. However, when writing Haskell programs we've found that most uses of `Monad` are to manage the internal state of the program. In Disciple, we use effects for state-based functions because it's more convenient, and reserve `Monad` for things that definitely want a non-standard notion of sequence, like parser combinators. 
     50We still think the `Monad` type class is useful, and we support it as well. However, when writing Haskell programs we've found that most uses of `Monad` are to manage the internal state of the program, and for IO. In Disciple, we use effects for state-based functions because it's more convenient, and reserve `Monad` for things that definitely want a non-standard notion of sequence, like parser combinators. 
    5151 
    5252== Extended type information ==