FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

Onderzoeksoutput: Meeting abstract (Book)

62 Downloads (Pure)

Samenvatting

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.
Originele taal-2English
TitelREBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
RedacteurenWolfgang De Meuter, Patrick Eugster, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger
UitgeverijACM
Pagina's24-36
Aantal pagina's13
ISBN van elektronische versie9781450399111
DOI's
StatusPublished - 29 nov 2022
EvenementReactive and Event-Based Languages and Systems - New Zealand, Auckland, New Zealand
Duur: 10 dec 202210 dec 2022
https://2022.splashcon.org/home/rebls-2022

Publicatie series

NaamREBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022

Workshop

WorkshopReactive and Event-Based Languages and Systems
Verkorte titelREBLS
Land/RegioNew Zealand
StadAuckland
Periode10/12/2210/12/22
Internet adres

Bibliografische nota

Publisher Copyright:
© 2022 ACM.

Copyright:
Copyright 2023 Elsevier B.V., All rights reserved.

Vingerafdruk

Duik in de onderzoeksthema's van 'FLOREnce: A Hybrid Logic-Functional Reactive Programming Language'. Samen vormen ze een unieke vingerafdruk.

Citeer dit