Higher-order functional reactive programming without spacetime leaks

Krishnaswami, Neelakantan R.

doi:10.1145/2500365.2500588

Cited by 39 publications

(78 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, a number of authors ([Jeffrey 2012([Jeffrey , 2014Jeltsch 2013;Krishnaswami 2013;Krishnaswami and Benton 2011]) have suggested using modal types for functional reactive programming. These all work in the synchronous case of time being given by a global clock.…”

Section: Modal Frp Calculimentioning

confidence: 99%

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

Bahr

Graulund

Møgelberg

2019

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For this to make sense, an FRP language must ensure that all programs are causal, and can be implemented without introducing space leaks and time leaks. To this end, some FRP languages do not give direct access to signals, but just to signal functions.Recently, modal types have been suggested as an alternative approach to ensuring causality in FRP languages in the synchronous case, giving direct access to the signal and event abstractions. This paper presents Simply RaTT, a new modal calculus for reactive programming. Unlike prior calculi, Simply RaTT uses a Fitch-style approach to modal types, which simplifies the type system and makes programs more concise. Echoing a previous result by Krishnaswami for a different language, we devise an operational semantics that safely executes Simply RaTT programs without space leaks.We also identify a source of time leaks present in other modal FRP languages: The unfolding of fixed points in delayed computations. The Fitch-style presentation allows an easy way to rules out these leaks, which appears not to be possible in the more traditional dual context approach.

show abstract

Section: Modal Frp Calculimentioning

confidence: 99%

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

Bahr

Graulund

Møgelberg

2019

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

show abstract

“…Krishnaswami et al [18] use linear types to guarantee bounded-space execution of reactive programs. Krishnaswami provides an FRP implementation for programs that are provably free of spacetime leaks [17]. Jeffrey [16] developed a type system for FRP that provides liveness guarantees of reactive programs.…”

Section: Technologies For Reactive Applicationsmentioning

confidence: 99%

Distributed REScala

Drechsler

Salvaneschi

Mogk

et al. 2014

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages &Amp; Applications

View full text Add to dashboard Cite

Reactive programming improves the design of reactive applications by relocating the logic for managing dependencies between dependent values away from the application logic to the language implementation. Many distributed applications are reactive. Yet, existing change propagation algorithms are not suitable in a distributed setting.We propose Distributed REScala, a reactive language with a change propagation algorithm that works without centralized knowledge about the topology of the dependency structure among reactive values and avoids unnecessary propagation of changes, while retaining safety guarantees (glitch freedom). Distributed REScala enables distributed reactive programming, bringing the benefits of reactive programming to distributed applications. We demonstrate the enabled design improvements by a case study. We also empirically evaluate the performance of our algorithm in comparison to other algorithms in a simulated distributed setting.

show abstract

“…Temporal logic typing as already proposed for FRP [11][12][13] might be a starting point for such a purpose. However, we also suspect that linear types could be of some interest [2,17].…”

Section: Resultsmentioning

confidence: 99%

Screaming in the IO monad: a realtime audio processing and control experiment in Haskell

Janin

2019

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design

View full text Add to dashboard Cite

We investigate in this paper the applicability of the notion monad streams to media stream programming, and, more specifically, audio processing and control. Simply said, a monad stream is sort of a list guarded by a monad action that returns either nothing when the stream is over, or, otherwise, just the current value of the stream and the guarding action of its continuation.Applied to the IO monad, it appears that monad streams can be used for modeling both input streams and output streams, with full control of the possibly synchronism between input and output streams in stream functions. This allows for defining both synchronous or asynchronous functions, or any combination of both notions.In the abstract, this opens quite intriguing and generic solutions towards programming systems that are globally asynchronous and locally synchronous (GALS). In the concrete, applied to real-time audio, this allows for combining, in a fairly simple and unified way, both (synchronous) audio processing and (asynchronous) audio control.As far as performance are concerned, our proposal allows non-trivial transformation of audio streams at 44100 Hz with a 10 ms latency, a performance comparable to functional programing languages dedicated to real-time audio processing such as Faust.

show abstract

Higher-order functional reactive programming without spacetime leaks

Cited by 39 publications

References 43 publications

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

Distributed REScala

Screaming in the IO monad: a realtime audio processing and control experiment in Haskell

Contact Info

Product

Resources

About