That’s also to make programming easier. Different programmers have different needs.

But the main benefits of static typing is in making the programming part easier. What do you gain from translating dynamically typed languages into a statically typed language?

A trick I’ve employed is to pretend to believe in something completely different. If it says “no, you’re wrong” and goes on to tell me what I actually believe, then it’s a good indicator that I might be on the right path.

They use the same symbols, but they’re not bitwise operators anymore.