It is a common misconception that typing makes stuff more complicated and inconvenient. Some type systems are quiet bad (not powerful enough, so they do more harm than good), but that does not mean that the idea of typing itself is bad, but their implementation is. In my opinion Python kicks ass, because of world-class libraries for nearly anything, and not because it's dynamic (a broad term, I would say it's strongly typed) und you do not have to declare types (which can often be inferred).

You listed 4 specific languages, but the following things are each inconvenient in them:

  - C: it's inconvenient to implement a quick prototype
  - Ocaml: it's inconvenient that the stdlib is so small
  - Go: it's inconvenient for scientific/numerical code
  - TypeScript: it's inconvenient to run server-side

Obviously you can do everything in any language (Turing, blabla), but the question is, how much effort (time) does it cost.

Python rocks in all of them (edit: the big exception being frontend webdev), in particular for quick prototyping. I think mypy is an exceptional and fine contribution to the eco-system and I really appreciate their effort.