[plt-scheme] Behind the scenes, is everything running using continuation passing style?

From: Shu-yu Guo (arc at cs.uchicago.edu)
Date: Wed Nov 14 13:55:21 EST 2007

On 11/14/07, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> 4. There is sufficient evidence that CPS still has one advantage,
> concerning join points of control flow. That is, it is easier to
> linearize from CPS than from ANF. The person who has articulated it
> best is Steve Weeks (a former PLT undergraduate) with postings and
> his MLton compiler. The one write-up of their work I know is "Fluet &
> Weeks, Contification using dominators, ICFP 2001." (Also see this
> year's ICFP for a follow-up on this from MSR @ Cambridge on compiling
> F#.)

I believe there are also arguments concerning that you have to
re-normalize ANF transformations with let-bindings under
beta-reduction, leading to more complicated beta-reduction rules,
which CPS avoids.


Posted on the users mailing list.