Zenn
Open8

checker.tsの部分型関係のロジック追跡

TypeScript
型システム
PADAone🐕PADAone🐕

概要

TypeScript の型チェッカーコンポーネント checker.ts について大雑把な構造と部分型関係のロジックを追跡するためのメモ(作業用)

PADAone🐕PADAone🐕

型同士の関係性の検証ロジック

型同士に関係性があるかどうかをチェックする関数
https://github.com/microsoft/TypeScript/blob/7d9399e353c1b770ab1b5c859c98e014cd3fda03/src/compiler/checker.ts#L20637-L20667

PADAone🐕PADAone🐕

構造

export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
  // ...
  const checker: TypeChecker = {
    //...
  };
}