Since static typing systems use dynamic typing to determine the static types, his comment about dynamic types languages being dead is simply wrong. Many years

Since static typing systems use dynamic typing to determine the static types, his comment about dynamic types languages being dead is simply wrong. Many years ago, it became obvious that static typing is useful in some class of programs, dynamic typing is useful in another class of programs and soft typing is useful across them all. A range of typing systems exist now, they will continue to exist into the future as long as we have need of digitally based computing systems. We live it and we continue to solve the problems put before us. As a side not, it was interesting that he didn't specify a List("abc", 0, 0.2) and answer what the static type of such would be. There are many examples of data structures that has non-uniform base types which can only be determined at runtime. Let the silly season start.