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.
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).