Non-updateable thunks

Main introduction

TODO

Other resources

• "Sharing, Space Leaks, and Conduit and friends" (well-typed.com). Edsko's blog post that introduced the problem to the world.

• "The case for call-by-name" (pdf). Keynote presentation at the Implementation of Functional Languages (IFL) 2024 by Edsko de Vries.

• "Allow explicit control of sharing for user defined types" (gitlab). GHC work item opened by Andreas Klebinger discussing some of this idea.

• "PoC for #27114 - Allow explicit control of sharing for user defined types." (gitlab). Proof of concept implementation in ghc by Andreas, using a pragma to tag types; does not work correctly for polymorphic functions.

• dupIO package (github, hackage). This is another work-around, available without any ghc modifications, to something like non-updateable thunks (but not quite).

• "Undoing unwanted sharing in Haskell: An STG transformation" (external). Master's thesis by Javier Sagredo.