トーク

checker.ts は TypeScript のコードベースの中でも特に行数が多いファイルとして知られていますが、その中身まで読み込んだことがある方は多くないかもしれません。

本セッションでは、tsc コマンドを実行した際に checker.ts 内でどのような処理が行われているのかを追いながら、TypeScript の型検査の仕組みと checker.ts の役割について解説します。

また、TypeScript 7.0 で導入が予定されている typescript-go における実装とも可能な限り比較し、今後の変化についても触れていきます。