🚀 go-pugleaf

    From: harrison@uicsrd.CSRD.UIUC.EDU
    Newsgroups: net.lang.lisp
    Subject: Re: call/cc and proper tail recursion
    I agree that global analysis of the program is the answer; my point is that
    the definition of scheme makes it seem as though one can state simply that
    tail recursion can be made as efficient as iteration, which simply isn't so
    in the presence of call/cc.


Proof notwithstanding, you are totally wrong.  As was earlier mentioned by
someone who knew what they were talking about, "call with current
continuation" is implemented in a somewhat expensive way so that tail
recursion still does work.  Basically what you do is copy the entire stack
onto the heap.  Your time would be better spent if you avoided proving
impossible things which have already been done.