"safety" != "memory safety" A formally proven implementation could be called "safe". But code written with checked arrays and without explicit pointers isn't

"safety" != "memory safety" A formally proven implementation could be called "safe". But code written with checked arrays and without explicit pointers isn't magically safe, and promoting a language or a cookbook as something that makes applications "safe" is just abusive and annoying marketing.