I like his take at the end: > We converted a codebase that was adapted to Flow to TypeScript. This means that we obviously only found things that Flow can expr

I like his take at the end: > We converted a codebase that was adapted to Flow to TypeScript. This means that we obviously only found things that Flow can express but TypeScript can't. If the port had been the other way around, I'm sure we would have found things that TypeScript can infer/express better than Flow. So he's aware of the conundrum, and, I hope, his readers too.