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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
