PL crank, but knows the problem is real.
> but if so: it looks like Morte may be equivalent to the primitive recurse functions (with the B-B encoding for data).
-
-
Is that right?
-
Uh, sorry, primitive recursive, I mean. https://en.wikipedia.org/wiki/Primitive_recursive_function …
- 4 more replies
New conversation -
-
-
This post explains Morte better: http://www.haskellforall.com/2015/05/the-internet-of-code.html … Short answer: no recursion (not even primitive), yes B-B
-
Thank you! Will try to read it!
End of conversation
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.