▲ | mrkeen 3 days ago | |
> The book has no exercises. This positions it awkwardly in the broader perspective of compiler study. It’s as if it’s a book that isn’t meant to be studied or understood, or perhaps it just doesn’t care. I bought it because it demonstrated how to cps-transform code, which was my goal. I think it delivered. For a "broader perspective", see the follow-up papers:
(...which TFA characterised as "parody")FWIW, after I implemented CPS this way, I eventually switched to ANF for typing reasons. I'm a bit of a beginner at type inference and could not assign a meaningful type to the extra term ("continuation") that CPS produces (and which ANF does not). |