[Haskell-cafe] Re: :t main
zednenem at psualum.com
Wed Dec 7 01:23:54 EST 2005
> | 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
I also recommend "Comonadic functional attribute evaluation" and "The
dual of substitution is redecoration", which have nothing to do with
IO but do describe some applications of comonads.
David Menendez <zednenem at psualum.com> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem> | of thermodynamics!"
More information about the Haskell-Cafe