Typing and programming languages, a brief synopsis from the ever excellent C2 wiki: TypingQuadrant

The four quadrants:
StaticTyping vs DynamicTyping
StronglyTyped vs WeaklyTyped

As always what puts a language into one quadrant or another seems to be a fine line that is very much a matter of debate. It appears to be more degrees of “typeness” than anything else.

Interestingly enough, it is unclear what implicit type conversions do to “typeness” of a language.

Of course this this form of typing is very clear cut.