Functional Reactive Programming with Effects, A More Permissive Approach

2025-03-08

AI Summary

This paper addresses the expressiveness limitation in Functional Reactive Programming (FRP) imposed by single-use resource constraints—exemplified by the WORMHOLES language. We propose a novel effect-aware FRP language that decouples resource types: I/O resources retain single-use semantics to ensure safety, while internal computational resources may be reused freely. Our approach combines resource classification, effect separation, and a program translation mechanism to automatically transform effectful programs into semantically equivalent, effect-free YAMPA code. The key contribution is the first solution that lifts WORMHOLES’ rigid resource restrictions while preserving full semantic compatibility with YAMPA—thereby reconciling safety, expressiveness, and paradigmatic consistency. We formally verify semantic equivalence and demonstrate practical feasibility through implementation and evaluation.

Technology Category

• Machine Learning: Hardware-aware ML
• Reasoning under Uncertainty: Probabilistic Programming
• Knowledge Representation and Reasoning: Knowledge Representation Languages

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Virtualization and resource management in Web systems and infrastructures
• Responsible Web: Human-perceived consequences of algorithmic deployment on the web
• Graph Algorithms and Modeling for the Web: Efficient manipulation of static and dynamic Web-related graphs

Abstract

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.

Problem

• Extends WORMHOLES to support multiple-use internal resources
• Relaxes single-use resource constraint in functional reactive programming
• Ensures compatibility with existing effect-free YAMPA programs

Innovation

• Extends WORMHOLES with effect support
• Relaxes single-use resource constraints
• Translates to effect-free YAMPA programs