switching events = space leak?

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

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/...
Best regards,
Peter Verswyvelen
On Mon, Feb 4, 2013 at 12:20 PM, 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 Reactive@haskell.org http://www.haskell.org/mailman/listinfo/reactive

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://www.seas.harvard.edu/academics/undergraduate/computer-science/thesis/...
Best regards, Peter Verswyvelen
participants (2)
-
Don Vincenze
-
Peter Verswyvelen