Changes between Version 9 and Version 10 of Alpha/Language/Overview/EffectSystem


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

--

Legend:

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

    v9 v10  
    4848}}}
    4949
    50 This isn't to say that the `Monad` type class is not useful, and Disciple supports 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. When writing Disciple programs we use effects for most state-based functions, and reserve `Monad` for things that a definitely use 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. When writing Disciple programs we use effects for most state-based functions, and reserve `Monad` for things that a definitely use a different notion of sequence, like parser combinators.
    5151
    5252== Extended type information ==