Get 50% Off Udacity Nanodegrees — Code CC50
Gain a Splash of New Skills - Coursera+ Annual Nearly 45% Off
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
Syllabus
[ICFP'23] More Fixpoints! (Functional Pearl)
Taught by
ACM SIGPLAN