[Haskell] FRP and Yampa

[Antony Courtney]

Hi Brett,

To the best of my knowledge the interface and implementation of Fran
and FRP were not organized around monads.  There was briefly an
experimental "New Fran" used by FranTk that used monads for
implementation.  That implementation had some fundamental issues with
referential transparency so was largely abandoned.

Nevertheless, Yampa does reflect a rather different approach to
embedding a dataflow DSL in Haskell than earlier Fran and FRP designs.
 I wrote an informal account of some of the issues with Fran and FRP
that motivated our move to an Arrows-based interface in Chapter 3 of
my thesis:
    http://www.apocalypse.org/~antony/work/pubs/ac-thesis.pdf

Hope that helps.

Best Regards,

    -Antony

On 2/3/06, Brett G. B. Wortzman <wortzman at fas.harvard.edu> wrote:
> Hi all,
>
> I'm doing my undergraduate thesis on monads, comonads, and arrows and
> their applications.  I've been focusing part of my research on the Yale
> Haskell group's work on Functional reactive programming, and specifically
> on their move from a monadic to an arrow-based implemenation (as in
> http://haskell.cs.yale.edu/yale/papers/haskellworkshop02/index.html).
> I've been unable to find any literature that really gives a good
> explanation of why they chose to make this move, however.  Can anybody
> shed some light on why arrows were seen as a better choice for this?
>
> Also, does anyone know if there's been any research about implementing FRP
> with comonads?  I can't find any literature about it, but I'm not sure if
> it's never been looked into, or just attempted and determined to be a bad
> idea.  If the latter, I'd be interested to know why.
>
> Thanks,
> Brett Wortzman
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>