4

In terms of pithy summaries - this description of Monads seems to win - describing them as a 'type for impure computation'.

What is an equivalent pithy (one-sentence) description of a comonad?

Community
  • 1
  • 1
hawkeye
  • 34,745
  • 30
  • 150
  • 304
  • Re the Haskell tag - thanks for the edits - I was honestly thinking of `core.async` in Clojure. Can we remove the 'haskell' tag? – hawkeye Jul 11 '13 at 22:56
  • NB: that summary may be pithy but almost completely wrong; so a true equivalent would also be almost completely wrong. – Jeremy List Nov 28 '18 at 21:39
  • A use case: https://functorial.com/the-future-is-comonadic/main.pdf – toraritte Apr 28 '20 at 21:14

1 Answers1

5

"A type for context-dependent computation"

Alternatively, a better "pithy description" for monads might be a 'type for output impurity', in which case then the pithy description for comonads is a 'type for input impurity'.

(If you are interested in comonads, some more introduction is given in some talks slides of mine: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)

dorchard
  • 1,198
  • 8
  • 15