On Thu, Feb 14, 2008 at 7:34 PM, Steve Lihn <[EMAIL PROTECTED]> wrote:
> I have a small question on the simulation technique. In both John
> Hughes and your code, you wrap the "print" inside the runXYZ (...) to
> print out the state of simulation. It is like:
>
> runArrow ( ... simulation ...th
> > 1. Stream
> This is actually a comonad.
Something more to learn everyday.
> Here's another fun arrow:
>
> http://luqui.org/blog/archives/2007/09/06/quantum-entanglement-in-haskell/
>
> Luke
>
Luke,
I managed to get your quantum entanglement examples working. But
honestly, I can't quite figur
On Thu, Feb 14, 2008 at 12:50 AM, Steve Lihn <[EMAIL PROTECTED]> wrote:
> He described a few things that "cannot" be represented as a monad, they are:
> 1. Stream
This is actually a comonad.
> 2. FRP
Depends on which FRP you're talking about. This could be the stream
comonoad + the event mon
In John Hughes' paper [1], Programming with Arrows, p. 20,
"The truly interesting arrow types are those which do not
correspond to a monad, because it is here that arrows give us real
extra generality.
Since we know that stream functions cannot be represented as a monad,
then they are one of these
