Functional Reactive GUI Programming with Modal Types.

Jean-Claude Disch; Asger Heegaard; Patrick Bahr

doi:10.1007/978-3-031-99751-8_5

Functional Reactive GUI Programming with Modal Types.

Jean-Claude Disch, Asger Heegaard, Patrick Bahr

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Abstract

Functional reactive programming (FRP) is a programming paradigm for implementing reactive systems, i.e. programs that continuously interact with their environments. While FRP allows for a functional, high-level programming style, FRP programs are prone to undesirable operational behaviours such as space leaks. To ensure favourable operational properties of FRP programs, modal type systems have been introduced, which – among other things – make it impossible to write FRP programs with implicit space leaks. In a recent development, several modal FRP languages have been introduced that are able to accommodate asynchronous events and behaviours – motivated by the goal to use such languages for GUI programming.

This paper explores the suitability of one such asynchronous modal FRP language – called Async Rattus – for GUI programming in practice. To this end, we have implemented a mild extension of the Async Rattus language and used it to implement a small GUI framework. We demonstrate the language and its GUI framework by a number of case studies.

Original language	English
Title of host publication	Trends in Functional Programming : 26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Number of pages	22
Volume	15652
Publisher	Springer
Publication date	1 Oct 2025
Pages	93-114
ISBN (Electronic)	978-3-031-99751-8
DOIs	https://doi.org/10.1007/978-3-031-99751-8_5
Publication status	Published - 1 Oct 2025
Event	Symposium on Trends in Functional Programming - United Kingdom , Oxford, United Kingdom Duration: 13 Jan 2025 → 16 Jan 2025 Conference number: 26 https://trendsfp.github.io/2025/

Conference

Conference	Symposium on Trends in Functional Programming
Number	26
Location	United Kingdom
Country/Territory	United Kingdom
City	Oxford
Period	13/01/2025 → 16/01/2025
Internet address	https://trendsfp.github.io/2025/

Series	LNCS
Volume	15652

Keywords

Functional Reactive Programming
Modal Types
Type Systems
GUI
Haskell

Access to Document

10.1007/978-3-031-99751-8_5

paperAccepted author manuscript, 576 KB

Cite this

@inproceedings{f314f343ae674a0eb491bfa531b5406b,

title = "Functional Reactive GUI Programming with Modal Types.",

abstract = "Functional reactive programming (FRP) is a programming paradigm for implementing reactive systems, i.e. programs that continuously interact with their environments. While FRP allows for a functional, high-level programming style, FRP programs are prone to undesirable operational behaviours such as space leaks. To ensure favourable operational properties of FRP programs, modal type systems have been introduced, which – among other things – make it impossible to write FRP programs with implicit space leaks. In a recent development, several modal FRP languages have been introduced that are able to accommodate asynchronous events and behaviours – motivated by the goal to use such languages for GUI programming. This paper explores the suitability of one such asynchronous modal FRP language – called Async Rattus – for GUI programming in practice. To this end, we have implemented a mild extension of the Async Rattus language and used it to implement a small GUI framework. We demonstrate the language and its GUI framework by a number of case studies.",

keywords = "Functional Reactive Programming, Modal Types, Type Systems, GUI, Haskell",

author = "Jean-Claude Disch and Asger Heegaard and Patrick Bahr",

year = "2025",

month = oct,

day = "1",

doi = "10.1007/978-3-031-99751-8\_5",

language = "English",

volume = "15652",

series = "LNCS",

pages = "93--114",

booktitle = "Trends in Functional Programming",

publisher = "Springer",

address = "Germany",

note = "Symposium on Trends in Functional Programming, TFP 2025 ; Conference date: 13-01-2025 Through 16-01-2025",

url = "https://trendsfp.github.io/2025/",

}

Disch, J-C, Heegaard, A & Bahr, P 2025, Functional Reactive GUI Programming with Modal Types. in Trends in Functional Programming : 26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers. vol. 15652, Springer, LNCS, vol. 15652, pp. 93-114, Symposium on Trends in Functional Programming, Oxford, United Kingdom, 13/01/2025. https://doi.org/10.1007/978-3-031-99751-8_5

Functional Reactive GUI Programming with Modal Types. / Disch, Jean-Claude; Heegaard, Asger; Bahr, Patrick.
Trends in Functional Programming : 26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers. Vol. 15652 Springer, 2025. p. 93-114 (LNCS, Vol. 15652).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Functional Reactive GUI Programming with Modal Types.

AU - Disch, Jean-Claude

AU - Heegaard, Asger

AU - Bahr, Patrick

N1 - Conference code: 26

PY - 2025/10/1

Y1 - 2025/10/1

N2 - Functional reactive programming (FRP) is a programming paradigm for implementing reactive systems, i.e. programs that continuously interact with their environments. While FRP allows for a functional, high-level programming style, FRP programs are prone to undesirable operational behaviours such as space leaks. To ensure favourable operational properties of FRP programs, modal type systems have been introduced, which – among other things – make it impossible to write FRP programs with implicit space leaks. In a recent development, several modal FRP languages have been introduced that are able to accommodate asynchronous events and behaviours – motivated by the goal to use such languages for GUI programming. This paper explores the suitability of one such asynchronous modal FRP language – called Async Rattus – for GUI programming in practice. To this end, we have implemented a mild extension of the Async Rattus language and used it to implement a small GUI framework. We demonstrate the language and its GUI framework by a number of case studies.

AB - Functional reactive programming (FRP) is a programming paradigm for implementing reactive systems, i.e. programs that continuously interact with their environments. While FRP allows for a functional, high-level programming style, FRP programs are prone to undesirable operational behaviours such as space leaks. To ensure favourable operational properties of FRP programs, modal type systems have been introduced, which – among other things – make it impossible to write FRP programs with implicit space leaks. In a recent development, several modal FRP languages have been introduced that are able to accommodate asynchronous events and behaviours – motivated by the goal to use such languages for GUI programming. This paper explores the suitability of one such asynchronous modal FRP language – called Async Rattus – for GUI programming in practice. To this end, we have implemented a mild extension of the Async Rattus language and used it to implement a small GUI framework. We demonstrate the language and its GUI framework by a number of case studies.

KW - Functional Reactive Programming

KW - Modal Types

KW - Type Systems

KW - GUI

KW - Haskell

U2 - 10.1007/978-3-031-99751-8_5

DO - 10.1007/978-3-031-99751-8_5

M3 - Article in proceedings

VL - 15652

T3 - LNCS

SP - 93

EP - 114

BT - Trends in Functional Programming

PB - Springer

T2 - Symposium on Trends in Functional Programming

Y2 - 13 January 2025 through 16 January 2025

ER -

Functional Reactive GUI Programming with Modal Types.

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this