A сообщение в блоге команды Flow описывает «ре-архитектуру» Flow, называемую «тип-сначала». Насколько я могу судить, единственное описание в этой цитате из поста блога:
"... оно использует аннотации полного типа на границах файлов для лучшей производительности (более распараллеливаемой и менее избыточной) отдельная компиляция. "
Есть ли где-нибудь еще подробности об этом? В частности, мне интересно, что это за полные аннотации: каковы новые ограничения на исходный код и файлы объявлений?
Например, разрешено ли это?
import { func } from "./other-module";
export const myNumber = func(num1, num2);
Это проблематично c в TypeScript, поскольку тип myNumber невозможно разрешить, не зная тип func. Потребуется ли при повторной архитектуре Flow в первую очередь для пользователей написать:
import { func } from "./other-module";
export const myNumber: number = func(num1, num2);
Это только один конкретный c вопрос, который у меня есть. Что мне нужно, так это немного больше информации и ссылка на документ, объясняющий все известные последствия ре-архитектуры.