Functional reactiveprogramming (FRP) languages allow programmers to write declarative expressions to denote eventstreams. They feature operators (e.g., map, filter, merge, ...) to build compositions of events. Among ...
详细信息
ISBN:
(纸本)9781450399111
Functional reactiveprogramming (FRP) languages allow programmers to write declarative expressions to denote eventstreams. 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 reactiveprogramming with 'logic reactiveprogramming' 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.
暂无评论