Details

Autor(en) / Beteiligte

• Breitner, Joachim

Titel

More Fixpoints! (Functional Pearl)

Ist Teil von

• Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.686-710, Article 211

Ort / Verlag

New York, NY, USA: ACM

Erscheinungsjahr

2023

Quelle

ACM Digital Library

Beschreibungen/Notizen

• Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately, if the input is “too recursive”, these very elegant idioms can fall into the dreaded black hole, and the programmer has to resort to more pedestrian approaches. It does not have to be that way: We built variants of common pure data structures (Booleans, sets) where recursive definitions are productive. Internally, the infamous unsafePerformIO is at work, but the user only sees a beautiful and pure API, and their pretty recursive idioms – magically – work again.