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.

Early 30s now. I’ve been on this path since I was 18, so I guess I’d be happy to hear that I stuck with it. I’d probably also be disappointed to hear that I’m actually kind of bad at it.