3 ms·

This is a solved problem, see the Racket programming language. I think this may apply to most Scheme implementations actually.

• wyager 6y ago
  Can you explain how racket solves this?
  • soegaard 6y ago
    It's answered here: https://stackoverflow.com/q/49912204/23567 https://stackoverflow.com/q/49912204/23567
    • wyager 6y ago
      The answers there seem to suggest racket just allows large amounts of space to be allocated to the stack. This doesn't "solve" the problem at all. It's just a tweak to kick the can down the road a bit. Non-strict languages fundamentally change the way one can think about function context; unlimited guarded corecursion via thunks is a canonical example.