TypeScriptの「型が通る」だけでは足りない。anti-slopで根拠の薄いコードをCIから止める

記事の3ポイント

1. 1

   型検査と実行時検証の乖離

   TypeScript の型チェックが通っても、入力値の中身を検証していないコード（例：`as object as User`）は存在し、実行時のリスクが残る。

2. 2

   AI コーディング時代のレビュー課題

   AI エージェントによる実装速度の向上に伴い、「型エラーにはならないが根拠もないコード」を人が見つける負担が増大するため、ツールへの任せる必要性が高まる。

3. 3

   anti-slop ツールの機能と限界

   Oxlint 向けルール集である anti-slop は、型の根拠を失わせやすいパターンを構文レベルで拒否するが、実行時の値検証や完全な型解析を行うものではない。