[Haskell-cafe] The container problem

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Sat Sep 27 13:06:03 EDT 2008


On 2008 Sep 27, at 12:41, Andrew Coppin wrote:
> I'm not sure how that qualifies set as "not really a true monad  
> anyway" - but then, I don't know what a monad is, originally. I only  
> know what it means in Haskell.

I think you read him backwards:  Map and Set are category-theory  
("true") monads, but they can't be Haskell Monads because Haskell  
isn't expressive enough to represent more than a subset of category- 
theoretical monads.

> Also... Who or what is an Oleg, and why do I keep hearing about  
> it? ;-)

Oleg Kiselyov.  http://okmij.org/ftp/
He's somewhat legendary in the Haskell community for his ability to  
make Haskell do what people think it can't, and his tendency to  
program at the type level instead of at the value level like most  
people.  :)

-- 
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




More information about the Haskell-Cafe mailing list