points
To my understanding, they offer a full python compatibility but guide the user to something else.
For instance, Mojo itself is statically typed.