[Haskell-cafe] monads with take-out options

[Brandon S. Allbery KF8NH]

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...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081125/a1ea532b/attachment-0001.htm