FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
Functional reactive programming (FRP) languages allow programmers to write declarative expressions to denote event-streams. They feature operators (e.g., map, filter, merge, …) to build compositions of events. Among these operators we would expect to find the traditional Boolean operators to express complex events. To some extent this is true. However, a remarkable absent in existing FRP languages is the logical conjunction, i.e., the and operator. In this paper, we describe the difficulty of introducing logical conjunction in FRP. We then present a new experimental language called FLOREnce that reconciles functional reactive programming with ‘logic reactive programming’ abstractions. The latter emerge naturally when adding a reactive conjunction operator to an event-based FRP language. We present a prototypical implementation of FLOREnce and we study its expressiveness by conducting an experiment.
Wed 7 DecDisplayed time zone: Auckland, Wellington change
13:30 - 15:00 | |||
13:30 30mTalk | FLOREnce: A Hybrid Logic-Functional Reactive Programming Language REBLS Louise Van Verre Vrije Universiteit Brussel, Humberto Rodriguez Avila Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI | ||
14:00 30mTalk | Distributed Persistent Signals: Architecture and Implementation REBLS DOI | ||
14:30 30mTalk | Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine REBLS Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print |