It's kind of like how an implicit side effect in "normal" FP languages is that memory is being allocated.

The nix garbage collector will even free up disk space by deleting unreferenced packages just like a garbage collector freeing memory by deleting unreferenced values.