Changes between Version 11 and Version 12 of Alpha/Language/Overview/EffectSystem


Ignore:
Timestamp:
Aug 26, 2010, 12:59:44 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/Language/Overview/EffectSystem

    v11 v12  
    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 different 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. 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 ==