Is it really too much to ask to use the correct terms here, static and dynamic typing? Strong and weak are sort of coherent as a spectrum, but they aren't a ty

Is it really too much to ask to use the correct terms here, static and dynamic typing? Strong and weak are sort of coherent as a spectrum, but they aren't a typology, and they do not in any sense or in any case reduce to static vs. dynamic types. Conflating them is not useful: I can make a good case that Julia's type system is stronger than C's, but Julia is dynamically typed and C is statically typed. There's no reason to keep doing this. It's a malapropism, we could just.. not say that. Especially in a thread which is specifically about types.