FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

Louise Van Verre; Humberto Rodriguez Avila; Jens Nicolay; Wolfgang De Meuter

doi:10.1145/3563837.3568339

Abstract

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.

Original language	English
Title of host publication	REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Editors	Wolfgang De Meuter, Patrick Eugster, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger
Publisher	ACM
Pages	24-36
Number of pages	13
ISBN (Electronic)	9781450399111
DOIs	https://doi.org/10.1145/3563837.3568339 https://doi.org/10.1145/3563837.3568339
Publication status	Published - 29 Nov 2022
Event	Reactive and Event-Based Languages and Systems - New Zealand, Auckland, New Zealand Duration: 10 Dec 2022 → 10 Dec 2022 https://2022.splashcon.org/home/rebls-2022

Publication series

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

Workshop

Workshop	Reactive and Event-Based Languages and Systems
Abbreviated title	REBLS
Country/Territory	New Zealand
City	Auckland
Period	10/12/22 → 10/12/22
Internet address	https://2022.splashcon.org/home/rebls-2022

Bibliographical note

Publisher Copyright:
© 2022 ACM.

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

Access to Document

10.1145/3563837.3568339
10.1145/3563837.3568339Licence: CC BY

preprint_florenceAccepted author manuscript, 865 KB

Cite this

Van Verre, L., Rodriguez Avila, H., Nicolay, J., & De Meuter, W. (2022). FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. In W. De Meuter, P. Eugster, P. Eugster, G. Salvaneschi, F. Sant'Anna, L. Ziarek, & P. Weisenburger (Eds.), REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (pp. 24-36). (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022). ACM. https://doi.org/10.1145/3563837.3568339, https://doi.org/10.1145/3563837.3568339

Van Verre, Louise ; Rodriguez Avila, Humberto ; Nicolay, Jens ; De Meuter, Wolfgang. / FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. editor / Wolfgang De Meuter ; Patrick Eugster ; Patrick Eugster ; Guido Salvaneschi ; Francisco Sant'Anna ; Lukasz Ziarek ; Pascal Weisenburger. ACM, 2022. pp. 24-36 (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022).

@inbook{b4926bb001a14005b073b1e20e24835c,

title = "FLOREnce: A Hybrid Logic-Functional Reactive Programming Language",

abstract = "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 {\textquoteleft}logic reactive programming{\textquoteright} 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.",

author = "{Van Verre}, Louise and {Rodriguez Avila}, Humberto and Jens Nicolay and {De Meuter}, Wolfgang",

note = "Publisher Copyright: {\textcopyright} 2022 ACM. Copyright: Copyright 2023 Elsevier B.V., All rights reserved.; Reactive and Event-Based Languages and Systems, REBLS ; Conference date: 10-12-2022 Through 10-12-2022",

year = "2022",

month = nov,

day = "29",

doi = "10.1145/3563837.3568339",

language = "English",

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

publisher = "ACM",

pages = "24--36",

editor = "{De Meuter}, Wolfgang and Patrick Eugster and Patrick Eugster and Guido Salvaneschi and Francisco Sant'Anna and Lukasz Ziarek and Pascal Weisenburger",

booktitle = "REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems",

url = "https://2022.splashcon.org/home/rebls-2022",

}

Van Verre, L, Rodriguez Avila, H, Nicolay, J & De Meuter, W 2022, FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. in W De Meuter, P Eugster, P Eugster, G Salvaneschi, F Sant'Anna, L Ziarek & P Weisenburger (eds), REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022, ACM, pp. 24-36, Reactive and Event-Based Languages and Systems, Auckland, New Zealand, 10/12/22. https://doi.org/10.1145/3563837.3568339, https://doi.org/10.1145/3563837.3568339

FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. / Van Verre, Louise; Rodriguez Avila, Humberto; Nicolay, Jens ; De Meuter, Wolfgang.

REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. ed. / Wolfgang De Meuter; Patrick Eugster; Patrick Eugster; Guido Salvaneschi; Francisco Sant'Anna; Lukasz Ziarek; Pascal Weisenburger. ACM, 2022. p. 24-36 (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022).

Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book) › Research

TY - CHAP

T1 - FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

AU - Van Verre, Louise

AU - Rodriguez Avila, Humberto

AU - Nicolay, Jens

AU - De Meuter, Wolfgang

PY - 2022/11/29

Y1 - 2022/11/29

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85147036292&partnerID=8YFLogxK

UR - https://doi.org/10.1145/3563837.3568339

U2 - 10.1145/3563837.3568339

DO - 10.1145/3563837.3568339

M3 - Meeting abstract (Book)

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

SP - 24

EP - 36

BT - REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems

A2 - De Meuter, Wolfgang

A2 - Eugster, Patrick

A2 - Salvaneschi, Guido

A2 - Sant'Anna, Francisco

A2 - Ziarek, Lukasz

A2 - Weisenburger, Pascal

PB - ACM

T2 - Reactive and Event-Based Languages and Systems

Y2 - 10 December 2022 through 10 December 2022

ER -

Van Verre L, Rodriguez Avila H, Nicolay J , De Meuter W. FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. In De Meuter W, Eugster P, Eugster P, Salvaneschi G, Sant'Anna F, Ziarek L, Weisenburger P, editors, REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. ACM. 2022. p. 24-36. (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022). https://doi.org/10.1145/3563837.3568339, https://doi.org/10.1145/3563837.3568339

FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

Abstract

Publication series

Workshop

Bibliographical note

Access to Document

Other files and links

Fingerprint

SRP52: SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric Programming

Cite this

FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

Abstract

Publication series

Workshop

Bibliographical note

Access to Document

Other files and links

Fingerprint

Projects

SRP52: SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric Programming

Cite this