Is There a Difference Between Static and Dynamic Typing?

I think something that gets missed in a lot of static versus dynamic discussions is that there are a lot of different type systems. And those different type systems are varying degrees of good at modeling things. It's not like there is something innate to whether you're checking the types at compile time versus at runtime that forces a type system to be more or less restrictive. I mean, if you're thinking about what are the languages we actually have today that in practice have been implemented, there's certainly a correlation. But that's not the same thing as implying that it's an innate law of the universe that like things have to be that way.