Path: csiph.com!optima2.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Marko Rauhamaa <marko@pacujo.net>
Newsgroups: comp.lang.python
Subject: Re: A new module for performing tail-call elimination
Date: Thu, 16 Jul 2015 12:56:50 +0300
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <87a8uwl925.fsf@elektro.pacujo.net>
References: <55a3dcd9$0$3024$426a34cc@news.free.fr> <mailman.532.1436952589.3674.python-list@python.org> <55a76628$0$2846$c3e8da3$76491128@news.astraweb.com> <mailman.576.1437038898.3674.python-list@python.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org; posting-host="b7cb1518d23ec19d482dcc9c31d30fdd"; logging-data="19633"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18a42UwDSNe7U5GjYhmY98B"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:2sbBlh6Z5iqIC+3EUIw04hH/DAo= sha1:2AvnSPMM8JWMfi0T/Zc+9WKhmJs=
Xref: csiph.com comp.lang.python:93919

Robin Becker <robin@reportlab.com>:

> which is said to be not "primitive recursive" ie cannot be unwound
> into loops; not sure whether that implies it has to be recursively
> defined or can perhaps be broken down some other way. For more
> eye-glazing

You only need a single while loop plus primitive recursion to implement
total recursion.


Marko