I wrote:
| My guess is that comonadic IO would look more like dataflow | programming.
Simon Peyton-Jones writes:
I've not been following this thread, but I wanted to check: you do know about Tarmo Uustalu's stuff about comonads, don't you?
http://www.cs.helsinki.fi/u/ekarttun/comonad/ summarises (link to "The essence of dataflow programming" at the bottom)
You caught me. That paper was the reason I thought comonadic IO might resemble dataflow programming. I should have provided a link, but I was lazy. I also recommend "Comonadic functional attribute evaluation"[1] and "The dual of substitution is redecoration"[2], which have nothing to do with IO but do describe some applications of comonads. [1] <http://cs.ioc.ee/~tarmo/papers/tfp05-book.pdf> [2] <http://cs.ioc.ee/~tarmo/papers/sfp01-book.ps.gz> -- David Menendez <zednenem@psualum.com> | "In this house, we obey the laws <http://www.eyrie.org/~zednenem> | of thermodynamics!"