Jeremy Gibbons - Continuation-passing style, defunctionalization, and associativity

Special thanks to the Haskell Foundation for supporting the production of this video!
Haskell Love 2021 schedule: emamo.com/event/haskell-love
Haskell Love twitter: / _haskellove
Functional programming is full of “folk tricks” that seem inscrutable to novices. Many of them can be traced back to John Reynolds, who showed us how to use continuation-passing style and defunctionalization to transform a recursive interpreter for a language into an abstract machine for programs in that language. The same techniques explain zippers and accumulating parameters. Buried within all those applications there is usually a hidden appeal to the algebraic property of associativity. In this talk, I will entice associativity out of the shadows and into the limelight.

[@3ombieautopilot]

At last we get to see Haskell Love 2021

[@gongfei]

Thank you for the insight!