Editing Continuation-passing style (section)

==Tail calls==
Every call in CPS is a [[tail call]], and the continuation is explicitly passed. Using CPS without ''tail call optimization'' (TCO) will cause both the constructed continuation to potentially grow during recursion, and the [[call stack]]. This is usually undesirable, but has been used in interesting ways; see the [[Chicken (Scheme implementation)#Design|Chicken Scheme]] compiler. As CPS and TCO eliminate the concept of an implicit function return, their combined use can eliminate the need for a run-time stack. Several compilers and interpreters for [[functional programming]] languages use this ability in novel ways.<ref>{{cite book |last1=Appel |first1=Andrew W. |author1-link=Andrew Appel |date=1992 |title=Compiling with Continuations |publisher=Cambridge University Press |isbn=0-521-41695-7}}</ref>