Tue 27 Oct 2015 11:15 - 11:37 at Haselton 1 - Session 2

Functional Reactive Programming (FRP) is a model of reactive programming distinguished by having a well-defined semantics given by time-indexed values. Promises are one-shot communication channels which allow asynchronous programs to be written in a synchronous style. In this paper, we show how “timed promise lists”, a timestamped linked list structure using promises rather than pointers, can be used to implement FRP. This idea originated with Elliott’s “Push/Pull FRP”, and we show that it can be expressed idiomatically in a strict functional language with promises, JavaScript. We identify a potential space leak with JavaScript’s built-in promises and propose an alternative implementation that avoids the leak.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Session 2REBLS at Haselton 1
10:30
22m
Talk
Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
REBLS
Simon Van de Water VUB, Thierry Renaux Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel
10:52
22m
Talk
Type Inference of Asynchronous Arrows in JavaScript
REBLS
Eric Fritz , Tian Zhao University of Wisconsin-Milwaukee
11:15
22m
Talk
Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises)
REBLS
Alan Jeffrey Alcatel-Lucent Bell Labs, Tom Van Cutsem Alcatel-Lucent Bell Labs
11:37
22m
Talk
Type Safe Evolution of Live Systems
REBLS
Miguel Domingues NOVA-LINCS - Universidade Nova de Lisboa, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa