squid64 (nprofile…lu86) Literally any memory safe language that already exists and has a specification.
GNU ada, perl, lisp, guile, python (did it become proprietary?), go and GNU Bash are all memory safe (almost all boring high-level languages are memory-safe).
Memory safety is a joke - most errors are logic errors and rust ironically causes more security issues by how the borrow checked pretty much forces the programmer to implement logic errors.
