> statically typed, memory safe, no VM programming languages that retains most of the advantages of dynamically typed languages
Those requirements contradict themselves in numerous ways. As always, engineering tradeoffs are paramount.
As for "statically typed, memory safe, no VM" -- C++ fits all those perfectly. (Provided you put in the effort of learning C++. There's another tradeoff you'd need to keep in mind.)