[Haskell-cafe] Re: :t main

[David Menendez]

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 at psualum.com> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem>      |        of thermodynamics!"