You are correct, but its not just abstractions, its specifically abstractions on a shitty platform. The whole log4j thing happened is because java is very poor

You are correct, but its not just abstractions, its specifically abstractions on a shitty platform. The whole log4j thing happened is because java is very poorly designed from the get go, and one of those points is the insistence of making everything an object, including data. And of course, you often need to output the string representation of data. From a theory perspective, if you want to rely on language features like strong typing to ensure correctness, then you have to take it all the way to full provability, where you explicitly guarantee bounded input, bounded output, and any side effect (where a network call is a side effect, and if your code doesn't explicitly state that this side effect will happen, it won't run).