Собственно из статьи выше:

Flow is designed to type check extremely large projects. Over the past several years, we’ve introduced some big changes to enable Flow to scale exponentially to 10M+ lines of code, just barely keeping pace with Facebook’s codebases. For example, lazy mode only checks files affected by local changes, instead of the entire codebase. However, Flow still has to run type analysis on the dependencies of the files that changed, a fundamental inefficiency which multiplies the cost of each change.

Ммм... у них есть сервер, через который они и смотрят изменения файлов и ИДЕшки с ним работают

я не знаком как там у флоу, никогда с ним не работал, но вот у ТС тайпчекер монструозный и он действительно может много вижирать ресурсов. В частности из-за того что он "пытается" проверить корректность программы через partial evaluation даже, если я не путаю

@ghaiklor если правильно помню, то в этом видео Хейлсберг рассказывал https://channel9.msdn.com/Blogs/Seth-Juarez/Anders-Hejlsberg-on-TypeScript-2

да, это кажется я его и занёс куда-то сюда, или нет... пофиг)
там много о дизайне тайпскрипта рассказано, но в целом инфа может быть уже устаревшенй

мужичек толковый, всю жизнь языки делает

вот, кстати, чекер тайпскрипта - https://github.com/microsoft/TypeScript/blob/master/src/compiler/checker.ts