> I'd like a programming language that is statically compiled, with good performance, garbage collection, and decent support for abstraction. It feels like you

> I'd like a programming language that is statically compiled, with good performance, garbage collection, and decent support for abstraction. It feels like you're mixing actual requirements (like "good performance" and "decent support for abstraction") here with things that are more like implementation details ("garbage collection", "statically compiled"). I don't really understand why you want "garbage collection", as such, though I could understand wanting some kind of increased productivity from not having to think about memory management. However, if your real requirement is as I describe it here, then I would still contend that Rust fits the bill.