checker
によって実行される)を助けるために、binder
(binder.ts
)は、ソースコードの様々な部分を正しい型システムに接続するために使用されます。そして、checker
により使用されます。binder
の主な役目はSymbolの作成です。core.ts
で定義されています(そしてbinder
は実際にobjectAllocator.getSymbolConstructor
を使ってそれを手に入れます)。以下はSymbolコンストラクタです:SymbolFlags
はフラグ列挙型であり、Symbolの更なる分類を識別するために本当に使用されます(例えば変数スコープフラグFunctionScopedVariable
や BlockScopedVariable
など)binder
は実際にchecker
型で内部的に使用され、checker
はprogram
によって使用されます。単純化したコールスタックは次のようになります。binder.ts
はchecker.ts
によって駆動されます。