As pointed out in their discussion, TypeScript is closer to C# while flow is closer to ML. Those type systems are very different. Considering how functional JS

As pointed out in their discussion, TypeScript is closer to C# while flow is closer to ML. Those type systems are very different. Considering how functional JS tends to be, I suspect that something based on Hindley-Milner inference could be a great match.