型階層

Flow の型はサブタイピングに基づいて階層を形成します。

ノードをクリックすると、その型のドキュメントに移動します。

このグラフの上部に表示される型はより一般的な型で、下部に表示される型はより具体的な型です。A型のノードからB型のノードに向かう矢印は、AがBのサブタイプであることを意味します。たとえば、string型は?string型のサブタイプです。

anyが最上部と最下部の両方に存在するのはなぜですか？それは、安全ではないからです。これは点線で示されています。