This is the way forward, convenient automatic resource management, with improved type systems for low level coding.

In various forms, affine types, linear types, dependent types, effects, formal proofs.

The list is already rather long, D, Chapel, Swift, Linear Haskell, Ox, OCaml, Koka, Ada/SPARK, Mojo,...