Hey, I don't see TypeScript as being behind on control flow analysis or anything like that.

If you're referring to differences in the way TypeScript narrow types based on control flow analysis, we don't see one as being "better" than the other, but TypeScript takes a more optimistic approach to avoid putting users in frustrating scenarios where the analysis is too limited. Most users tend to prefer this to the slightly more rigid approach used in Flow, so we felt we made an ideal choice there.

If you have any specific thoughts or ideas, feel free to leave us feedback on our issue tracker.