там не просто деревья, если что. У TS всегда был type-first, собственно потому он и был быстрее.
Flow понимал как программа будет исполняться, насколько я понимаю. Собственно потому дольше и больше ресурсов.
Сейчас я читал, что они на type-first тоже переезжают. Хотя это очень поверхностные знания