[rs86]

no, it's more like passing a continuation in this case (which is the function itself). but the function is not defined in terms of itself.

[azatom]

I don't get it. I do not want to define recursion, but for me as a programmer stackoverflow is a recursion, what is happening if I call y(factorialFactory)(10000).