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.