Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> By Church-Turing every sombolic-recursive function can be translated to a looped iteration over some memoization of intermeduate results. The stack is just a special case of such memoization.

Ah, so functional reactive programs don’t suffer from stack overflow on recursion, they just suffer from memoisation overflow? ;)

Electronic circuits with feedback could be thought of as tail end recursion. :)



Yes indeed! Except you can also do no memoization, such as the goto statement!


And in imperative languages one can get away with no recursion. For example setTimeout(f, 0) in js or go routine in go. Of course one needs an accumulator in that case.


Ah! That’s actually recursion again.


explain to me, exactly, how it knows what line to go to, and how to get there.

"go back to 0x00, then jump GOTO return register bits ahead"

you still have a variable, the goto return register.

it is your nested depth, the nesting limit til that register overflows.

please explain to me cuz im confused fr


Memoization is the word here. Can be done in different ways—- of which storing the stack frame is one.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: