Page:Scheme - An interpreter for extended lambda calculus.djvu/21



We can see here that no functional application returns a value in a computation of factorial in this situation. We believe that functional usage, where applicable (pun intended), is more perspicuous than continuation-passing. We shall therefore use functional primitives such as  rather than   wherever possible, keeping in mind that we could use   instead if we wished.