There is a static vs dynamic distinction and strong vs weak typing

There is also a semi humorously named "stringly typed" which means weakly typed in such a way that incompatible types are promoted to strings before being operated on.

I'm not aware of any static weakly typed language, but it's logically possible to have one