Moreover, static typing means that every expression has a well defined type (checked or inferred statically, as the name suggests). Dynamic typing means that on

Moreover, static typing means that every expression has a well defined type (checked or inferred statically, as the name suggests). Dynamic typing means that only values, ie the result of evaluating expressions, have types in any meaningful way. It's as far as a marketing gimmick as it comes, and there's literally a whole academic field in CS dedicated to it.