title: Does it make sense to call continuation-passing style the rescue for functional programming languages?
body: <p>I am unsure if the following statements make sense:</p>
  <ol>
  <li><p>Invoking a non-tail-recursive function in a functional programming languages has, typically, a <em>space efficiency problem</em> due to growing call stacks.</p>
  </li>
  <li><p>Each non-tail-recursive function can be <em>systematically</em> transformed to a tail-recursive one by transforming the function call to continuation-passing style.</p>
  </li>
  <li><p>Continuation-passing style is <em>the rescue</em> for functional programming languages because without it, non-tail-recursive functions which prevail in code base of functional programming languages would necessarily cause significant performance issues.</p>
  </li>
  </ol>