ยง Lazy programs have space leaks, Strict programs have time leaks

Stumbled across this idea while reading some posts on a private discourse. This is an interesting perspective that I've never seen articulated before, and somehow helps make space leaks feel more... palatable? Before, I had no analogue to a space leak in the strict world, so I saw them as a pathology. But with this new perspective, I can see that the strict world's version of a space leak is a time leak.