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

efclefcl のブックマーク 2024/03/26 23:59

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Effective TypeScript › Flow Nodes: How Type Inference Is Implemented

    In most programming languages a variable has a type and that type does not change. But one of the most interesting aspects of TypeScript's type system is that a symbol has a type at a location. Var...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう