search

balqui / prefscript

PReFScript: A Partial Recursive Functions Lab
MIT License
0 stars 0 forks source link

Dovetailing and Kleene Normal Form #7

Closed balqui closed 2 months ago

balqui commented 1 year ago

How well does the software swallow that?

balqui commented 2 months ago

Well, eventually I had the factorial programmed using Kleene normal form as projection of the search for the course of values and I could reach up to fact(4) = 120. From the timings I extrapolate that computing fact(5) would require many centuries. We definitely need a specific primitive recursion scheme.

balqui commented 2 months ago

The need for primitive recursion and/or generic schemes moved to other issues. Closing this one now that I have the experience reported in the previous comment.