Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
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.
|Title of host publication||Proceedings of the ACM on Programming Languages|
|Publisher||Association for Computing Machinery|
|Publication status||Published - 2019|
|Event||International Conference on Functional Programming (IFCP 2019) - Hotel Scandic Berlin Potsdamer Platz, Berlin, Germany|
Duration: 18 Aug 2019 → 23 Aug 2019
|Conference||International Conference on Functional Programming (IFCP 2019)|
|Location||Hotel Scandic Berlin Potsdamer Platz|
|Periode||18/08/2019 → 23/08/2019|