Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023

Explore a video presentation from the Haskell 2023 conference that delves into improving the efficiency of loops in Arrowized Functional Reactive Programming (AFRP). Learn about a novel program transformation technique that utilizes Arrow and ArrowLoop laws to optimize typical loop uses, resulting in compile-time execution order determination and strict evaluation. Discover how this approach addresses performance issues in na'ive AFRP implementations, particularly focusing on the loop combinator's dependency on lazy semantics. Gain insights into the evaluation of performance improvements and the correctness proofs for these transformations. Suitable for those interested in functional reactive programming, stream programming, and program optimization in Haskell.