Nim is closer to that ideal than Rust, I think; Rust requires provable object ownership that doesn't go bad, Nim uses an (optional, but strongly suggested) GC.

Nim is closer to that ideal than Rust, I think; Rust requires provable object ownership that doesn't go bad, Nim uses an (optional, but strongly suggested) GC. Nim's syntax is mostly pythonic, and it's metaproramming language is Nim (unlike C++'s abominable template metaprogramming language).