Compiling with continuations, continued

• DOI: 10.1145/1291151.1291179
• Publication Date: 2007-10-14T12:51:38Z
• Authors: Andrew Kennedy
• Keywords: Normalization; Substitution (logic)

We present a series of CPS-based intermediate languages suitable for functional language compilation, arguing that they have practical benefits over direct-style based on A-normal form (ANF) or monads. Inlining functions demonstrates the most clearly: in ANF-based languages, inlining involves re-normalization step rearranges let expressions and possibly introduces new 'join point' function, monadic commuting conversions must be applied; contrast, our CPS is simple substitution variables variables.