they are. Flow is still quite ahead in term of control flow analysis and "soundness" features, and the type system in general is much richer, but TypeScript is catching up. Flow's tooling is getting better (though it still has ways to go).

It's pretty easy to see where things are going. Advanced type systems (Elm, Scala, ML, Haskell, whatever) have the features we really need, and tooling (IDE support, etc) can use that info to provide crazy good tooling, so any type system developed in 2016 and beyond must have all of these things to be of mass appeal.