Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
Context Reynolds 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 other programming tricks, including zippers and accumulating parameters. In...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AOSA Inc.
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |