Flow Nodes: How Type Inference Is Implemented

TypeScriptのnarrowingがどのように動作しているかについて。 上から下に型を絞り込んでいるのではなく、シンボルが参照されてるポイントから制御フローグラフを逆にたどることで型を絞り込む実装になっている話