Administrative normal form, continued: Sharing control in direct style
Administrative normal form (ANF) promises to reap the benefits of continuation-passing style (CPS) while retaining the advantages of direct style. However, we believe ANF falls short of this ideal because it does not provide a satisfactory way to describe shared control flow, as CPS does naturally. We show how CPS itself can guide us in adding a control effect to ANF and taming it to regain purity, guaranteeing an efficient implementation. Interestingly, even though CPS is usually used for compiling call-by-value languages, our technique is independent of the evaluation strategy. In short, we propose that the known advantages of CPS can be achieved by extending ANF, or in general a direct-style representation. Does this mean that CPS is finally out? No: whatever the compiler’s chosen representation, we suspect CPS will reveal new insights about program manipulation.
Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
15:30 - 16:30
|Type Directed Compilation of Row-typed Algebraic Effects|
Daan Leijen Microsoft ResearchLink to publication
|Administrative normal form, continued: Sharing control in direct style|