Compiling to a very simple VM also makes good sense (i.e. Nock). The rest I can’t follow, and sounds like nonsense, but >
Uh, sorry, primitive recursive, I mean. https://en.wikipedia.org/wiki/Primitive_recursive_function …
-
-
Besides mathematical curiosity, one reason I ask is while PR procs are guaranteed to halt, they can take *effectively* forever
-
so that guarantee is of no practical use.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.