Link: https://pvs-studio.com/en/blog/posts/0324/
But if it proves to be yet another just safe language, then I just don't get the whole thing. There is plenty of very different safe languages to choose from to any taste... Ah yes, plenty...like...Ada???
Back in the past, this problem urged programmers to develop a variety of safe languages such as Java, C#, Python, and others. Garbage collection = safe now
I sincerely hope that programmers will find a way to speed it up in time, but until then, it's going to be of hardly more interest than Scala or Go from the viewpoint of the safety/speed compromise.