There are dozens of memory safe languages, eg. all with a GC. Lisp and .NET comes to mind.