Defunctionalization Chapter

[doyougnu]

see: https://en.wikipedia.org/wiki/Defunctionalization

and the Reynolds paper.

Normans new backend framework in GHC might also make for a good case study.

[doyougnu]

MPJs explainer is very good: https://www.michaelpj.com/blog/2024/03/11/defunctionalization-thoughts.html
at describing the why of defunctionalization

[ulysses4ever]

here's a topical blog post/talk that is considered valuable in certain academic circles: https://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html