A new module for performing tail-call elimination

Marko Rauhamaa marko at pacujo.net
Thu Jul 16 11:56:50 CEST 2015


Robin Becker <robin at 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


More information about the Python-list mailing list