[Haskell-cafe] Explaining monads

Kim-Ee Yeoh a.biurvOir4 at asuhan.com
Sun Aug 12 15:43:49 EDT 2007



David Menendez wrote:
> 
> This is probably because no one has found a compelling use case for
> comonadic-style programming in Haskell. There have been some
> interesting papers, such as "Comonadic functional attribute
> evaluation" by Uustalu and Vene, but nothing as compelling as Wadler's
> "Monads for functional programming".
> 

That same "Comonadic" paper describes how every zipper is a
comonad. I bet if we found more examples of zippers, comonads would
be in business. Much as I respect Huet 1997, more zipper tutorials
wouldn't harm either.

-- 
View this message in context: http://www.nabble.com/Explaining-monads-tf4244948.html#a12117211
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.



More information about the Haskell-Cafe mailing list