I don't view Typescripts as a good argument against dynamic languages. I view it as a good case for a well-designed gradual type system for dynamic languages.

I don't view Typescripts as a good argument against dynamic languages. I view it as a good case for a well-designed gradual type system for dynamic languages. All valid Javascript is Typescript, in a profound rather than trivial way.