[jacobwilliamroy]

Is it impossible to write a y-combinator with space complexity O(1)? I'm in the very early stages of a comp/sci education and have not yet learned how to prove that something is impossible.

[rs86]

Space complexity will depend on the computational model you choose.