[reactive] switching events = space leak?

[Don Vincenze]

Hi,

Is this list still alive ...

I am trying to learn the theory of FRP by reading the code of this
"reactive" library and Yampa. Not trying to get anything to actually
work here, analyzing implementations of the theory only serve to assess
the viability of it all. I.e. apart from bugs, is it stable, does it
scale?

For starters I'm worried about space leaks in switching events, e.g. see
the "Event of Events" that's the input to switchE. Those events are
lists that get produced by input producers but not consumed until
they're being switched into, is that right? So during this time of
producing but not consuming the list just grows = there is a space leak?

This is made a bit clearer in the book "The Haskell School of
Expression", chapter 15, which as I understand describes the
implementation of Yampa, not "reactive". However there isn't a
difference between the two in that respect as far as I can read the
code, or is there? Such as space leak would not just be a bug but would
need some design rework.

Don

_______________________________________________
Reactive mailing list
Reac...@haskell.org
http://www.haskell.org/mailman/listinfo/reactive

[Peter Verswyvelen]

Hi Don,

Although I haven't followed FRP research for years, you might want to
read the ELM paper, it might explain some of your questions:

http://elm-lang.org/

http://www.seas.harvard.edu/academics/undergraduate/computer-science/thesis/Czaplicki.pdf

Best regards,
Peter Verswyvelen

[Don Vincenze]

Thank you. I'm through the first 3 chapters now. I like the paper for
its overview over the FRP state of the art. As for the ELM language
itself, it seems to solve the switching problem I'm worrying about by
not allowing switching. :) However ostensibly "Elm could potentially use
A[rrowized] FRP's dynamic collections of signal functions". Going down
the ELM path would be off-topic for this list though so I'll be taking
any concerns that way to their mailing list instead.

On Tue, Feb 5, 2013, at 01:16 AM, Peter Verswyvelen wrote:
> Hi Don,
>
> Although I haven't followed FRP research for years, you might want to
> read the ELM paper, it might explain some of your questions:
>
> http://elm-lang.org/
>
> http://www.seas.harvard.edu/academics/undergraduate/computer-science/thesis/Czaplicki.pdf
>
> Best regards,
> Peter Verswyvelen