Asynchronous Reactive Programming with Modal Types in Haskell

Explore asynchronous reactive programming with modal types in Haskell through this conference talk presented at PADL'24. Dive into the implementation of Async Rattus, a functional reactive programming (FRP) language embedded in Haskell. Learn how modal type constructors enable the composition of asynchronous subsystems by tracking each subsystem's clock at compile time. Discover the advantages of this approach over traditional imperative models using shared mutable state and callbacks. Examine the central component of the implementation: a Haskell compiler plugin that checks stricter typing rules and infers compile-time clocks. Gain insights into the first implementation of an asynchronous modal FRP language and its potential to spark further research in modal FRP and its applications.

[PADL'24] Asynchronous Reactive Programming with Modal Types in Haskell