More Fixpoints - Solving Recursive Problems in Haskell

Explore a functional pearl presentation that delves into solving the "black hole" problem in Haskell's recursive equations. Learn how variants of common pure data structures like Booleans and sets can be built to make recursive definitions productive. Discover an elegant and pure API that utilizes unsafePerformIO internally, allowing programmers to maintain their declarative recursive idioms while avoiding pitfalls. Examine the implementation of these solutions and their implications for functional programming. This 30-minute video, presented by Joachim Breitner at ICFP 2023, offers insights into advanced Haskell techniques and demonstrates how to overcome limitations in lazy evaluation for more robust and expressive code.

[ICFP'23] More Fixpoints! (Functional Pearl)