Pré-Publication, Document De Travail Année : 2025

Functional Reactive Programming with Effects, a more permissive approach

Résumé

We introduce a functional reactive programming language that extends WORMHOLES, an enhance- ment of YAMPA with support for effects. Our proposal relaxes the constraint in WORMHOLES that restricts all resources to single-use. Resources are categorized into two kinds: input/output resources and internal resources. Input/output resources model interactions with the environment and follow constraints similar to those in WORMHOLES. Internal resources, on the other hand, enable com- munication between program components and can be used multiple times. We demonstrate that programs written in our language can be translated into equivalent effect-free YAMPA programs, ensuring that our approach remains compatible with existing functional reactive paradigms.

Fichier principal
Vignette du fichier
frpe_v2.pdf (369.52 Ko) Télécharger le fichier

Dates et versions

hal-04983000 , version 1 (08-03-2025)
hal-04983000 , version 2 (05-06-2025)

Licence

Identifiants

  • HAL Id : hal-04983000 , version 2

Citer

Frédéric Dabrowski, Jordan Ischard. Functional Reactive Programming with Effects, a more permissive approach. 2025. ⟨hal-04983000v2⟩
148 Consultations
255 Téléchargements

Partager

  • More