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によって駆動されます。