> Type annotations do not rust make. And lack of types does not Python make.

That is never implied. See the first example in the article.