Re: [Haskell-cafe] Explaining monads

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.