📝CPS is better suited for later compilation stages
CPS is better suited for later compilation stages. Even in Appel1992, CPS is used after SML has been lowered to simplified ML with types checked/resolved, matches compiled, etc.
CPS is better suited for later compilation stages. Even in Appel1992, CPS is used after SML has been lowered to simplified ML with types checked/resolved, matches compiled, etc.