Иерархия типов

Типы в Flow образуют иерархию на основе отношения подтипов:

Нажмите на узел, чтобы перейти к документации по соответствующему типу.

Типы, расположенные выше на этой диаграмме, более общие, а расположенные ниже — более конкретные. Стрелка от типа A к типу B означает, что A является подтипом B. Например, тип string является подтипом ?string.

Как any может находиться и вверху, и внизу? Потому что это небезопасный тип. Это обозначено пунктирной линией.

См. также​

• Подтипы — теория, объясняющая взаимосвязь типов в иерархии
• Any — небезопасный тип, который является и верхним, и нижним
• Unknown — безопасный верхний тип (супертип всех типов)
• Empty — нижний тип (подтип всех типов)
• Вариантность — влияние ковариантности и контравариантности на отношения подтипов