> Not to mention that its type system is unsound by design, and not because of null. Typescript only pretends to be safe, so in practice you end up writing a lot of type annotations for very dubious gain. Stricter options like Facebook Flow or Scala.js are way more useful.

Curious, can you explain why Flow is a more "sound" type system than Typescript?