[Haskell-cafe] monads with take-out options
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Tue Nov 25 01:45:06 EST 2008
On 2008 Nov 24, at 17:06, Greg Meredith wrote:
> Now, are there references for a theory of monads and take-out
> options? For example, it seems that all sensible notions of
> containers have take-out. Can we make the leap and define a
> container as a monad with a notion of take-out? Has this been done?
> Are there reasons for not doing? Can we say what conditions are
> necessary to ensure a notion of take-out?
Doesn't ST kinda fall outside the pale? (Well, it is a container of
sorts, but a very different from Maybe or .)
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe