Asynchronous Modal FRP
summary
Async RaTT is a new modal language that compiles complete programs to machines consuming asynchronous input channels and emitting outputs, using an exist-later modality (circle + existential) so each output carries a runtime set of input channels as its clock. The semantics include a select primitive and switch combinator to update dependencies dynamically. The paper proves causality, productivity and absence of space leaks, and shows the type system gives static upper bounds on dynamic input-dependency sets; no full implementation yet.
AI-written summary · about
chapters (12)
- 0:00Asynchronous modal FRP intro
- 5:41Asengrat language
- 6:45Old circle modality review
- 8:52Dynamic clocks with existentials
- 11:43Typing rules for new modality
- 13:51Old patterns fail async
- 14:55Synchronization with select
- 17:21Dynamic switching with switch
- 19:07Clocks from input channels
- 21:11Fixing zip space leaks
- 22:59Asengrat’s guarantees
- 23:43Q&A
related talks
36mAsynchronous Reactive Programming with Modal Types in Haskell
29mTowards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
29mWhat is Functional Reactive Programming?
31mThe Beauty and Elegance of Functional Reactive Animation
36mPeriodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-...
35mActors Design Patterns and Arrowised FRP
21mFLOREnce: A Hybrid Logic-Functional Reactive Programming Language
36mHow Functional Programming Can Make Life Easier