Excellent post, as always.

Would you rec...

2008-03-25T06:41:00.000-07:00

Excellent post, as always.

Would you recommend some introductory material for me to review comonads and their uses? I mean, for me, "a bear of very little brain" [but long words do not bother me, so fire away], it appears that monads represent containers:

g :: a -> m a

and that arrows represent functions. So, if a comonad is

f :: w a -> a

then this looks like a comonad appears to be an "uncontainer", but that seems to violate the promise of monadic containment (i.e.: "What's wrapped, stays wrapped"). But you are using comonads in a container-like way, no? (e.g.: image processing where the image is an array grid) Or is it that you are using them in an "uncontainer"-like way, and I'm missing the point?

Would you please help my understanding, or kindly direct me to source material that I may review?

Comments on A Neighborhood of Infinity: Transforming a comonad with a monad

geophf, try looking at this post.

Excellent post, as always.

Would you rec...

Comments on A Neighborhood of Infinity: Transforming a comonad with a monad

geophf, try looking at this post.

Excellent post, as always. Would you rec...

Excellent post, as always.

Would you rec...