型チェック - CI/CD 用語集の定義

型チェックは、コードが実行される前に、値が宣言または推論された型と一貫して使われているかを検証し、数値が期待される場所に文字列を渡すような一群のバグを捕捉します。ツールには TypeScript（tsc）、mypy、Go コンパイラがあります。

CI では

tsc --noEmit や mypy . を独立した check として実行すれば、テストスイートがたまたま壊れたパスを通るかどうかとは無関係に、型エラーが速く失敗します。