These links may be helpful: Evaluating cellular automata is comonadic. In particular, “whenever you see large datastructures pieced together from lots of small but similar computations there’s a good chance that we’re dealing with a comonad”. Sequences, streams, and segments Comonads in everyday life
Like the childcatcher in Chitty-Chitty-Bang-Bang luring kids into captivity with sweets and toys, recruiters to undergraduate Physics like to fool about with soap bubbles and boomerangs, but when the door clangs shut, it’s “Right, children, time to learn about partial differentiation!”. Me too. Don’t say I didn’t warn you. Here’s another warning: the following code … Read more
A monad only supplies two functions: return :: Monad m => a -> m a (>>=) :: Monad m => m a -> (a -> m b) -> m b Both of these return something of type m a, so there is no way to combine these in any way to get a function of … Read more