[Haskell-cafe] a general question on Arrows

Luke Palmer lrpalmer at gmail.com
Thu Feb 14 03:47:13 EST 2008


On Thu, Feb 14, 2008 at 12:50 AM, Steve Lihn <stevelihn at gmail.com> 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 monad.

Here's another fun arrow:

http://luqui.org/blog/archives/2007/09/06/quantum-entanglement-in-haskell/

Luke


More information about the Haskell-Cafe mailing list