Modal FRP for All: Functional Reactive Programming Without Space Leaks in Haskell

Explore a comprehensive examination of Modal Functional Reactive Programming (FRP) in Haskell, focusing on eliminating space leaks. Delve into the intricacies of streams, model types, and shallow embedding techniques. Gain insights into the Ratus framework, understanding its structure and functionality. Address the critical issue of memory leaks and learn about stable types. Apply theoretical knowledge to a practical Pong game implementation. Investigate the operational semantics and meta-theory behind Modal FRP. Discover additional resources to further expand your understanding of this advanced programming paradigm. This 29-minute conference talk from ICFP'23, presented by Patrick Bahr, offers a deep dive into cutting-edge functional programming concepts and their real-world applications.

Intro
Modal FRP
Streams
Model types
Shallow embedding
Ratus
How Rus looks like
How it works
Memory leaks
Stable types
Pong game
Implementation
Met Theory
Operations semantics
Other resources
Conclusion