[anonymoushn]

> actually practical and useful provably-safe language (Rust).

You can have spatial and temporal memory safety by writing single threaded code in any GC language.