Plugging a Space Leak With an Arrow


Hai Liu and Paul Hudak


The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations using streams and continuations lead to potentially serious time and space leaks under conventional call-by-need evaluation. However, by moving to the level of signal functions, and structuring the design around arrows, this class of time and space leaks can be avoided. We further show that the use of optimal reduction can also avoid the problem, at the expense of a much more complex evaluator.


  author    = "Paul Liu and Paul Hudak",
  title     = "Plugging a Space Leak With an Arrow",
  journal   = "Electronic Notes in Theoretical Computer Science",
  publisher = "Elsevier",
  volume    = "193",
  pages     = "29--45",
  month     = nov,
  year      = "2007"