u/mttdin r/ProgrammingLanguages • Recommends
Continuation-passing style, defunctionalization, and associativity - Jeremy Gibbons BOB 2021 Keynote
0:00 / 0:00
#continuation-passingstyle#defunctionalization#associativity
BOB 2021 Jeremy Gibbons - Keynote
BOBKonf
978 subscribers • 7 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Jeremy Gibbons
Advanced. Deep dive for people who know the field.
1.6K views5 years ago1 recommendation
Programming languagesComputer scienceFunctional programmingCompilers and interpretersComputation and complexity
Jeremy Gibbons explains how continuation-passing style, defunctionalization, and associativity can transform recursive interpreters into abstract machines.
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. bobkonf.de/2021/gibbons.html