Comment by sirwhinesalot
6 months ago
Well, the answer is obvious in garbage collected languages: because a GC excels at managing memory but sucks at managing other resources.
Here, the answer is that ownership semantics are disliked by the language designer (doesn't fit the design goals), so they're not in the language.
Not really obvious, given that there are garbage collected languages with RAII, like D, to quote one example.
And even stuff like try/using/with can be made RAII alike, via static analysis, which defer like approaches usually can't, because it can be any expression type, unlike those other approaches that rely on specific interfaces/magic methods being present, thus can be tracked via the type system.
So it can be turned into a compiler error if such tagged type doesn't escape lexical scope without calling the respective try/using/with on the variable declaration.
Not disagreeing, just pointing out the reasoning.
Fair enough, also wanted to make a point of the possibilities, given that too many people place all GC languages on the same basket.