Agreed. In the Haskell world, "space leak" is used to refer to a lazy computation that overallocates because of laziness (classic example being the difference

Agreed. In the Haskell world, "space leak" is used to refer to a lazy computation that overallocates because of laziness (classic example being the difference between foldl and foldr or maybe that's foldl' and foldr'--I forget some details/cannot be bothered to think about folds right now). I've personally stolen the terminology for a computation that temporarily holds on to a bunch of unneeded memory.