Отличная шпаргалка по Flow. Хорошо показаны особенности использования тех или иных особенностей конструкций для типизации.