Functional Reactive Programming with Effects, A More Permissive Approach
By: Frédéric Dabrowski, Jordan Ischard
Potential Business Impact:
Lets programs reuse parts to build complex things.
We introduce a functional reactive programming language that extends WORMHOLES, an enhancement 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 communication 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.
Similar Papers
Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model
Logic in Computer Science
Builds computer programs from simpler instructions.
An effectful object calculus
Programming Languages
Lets programmers build complex programs more easily.
Simple Modal Types for Functional Reactive Programming
Programming Languages
Makes computer programs run faster and use less memory.