frontend
型は AI コードの検問所です — "今は何がコンパイルされないのか"で判定する
AI が書いた TypeScript を毎回同じ基準で受け入れるか拒否するかを判定するために、型が所有する範囲を確定し、はしごで過剰設計をふるい落とし、コンパイラの証拠を残す方法をまとめた記事
より広い読者に向けて練り上げた技術記事です。問題、背景、解決、結果を描きます。
AI が書いた TypeScript を毎回同じ基準で受け入れるか拒否するかを判定するために、型が所有する範囲を確定し、はしごで過剰設計をふるい落とし、コンパイラの証拠を残す方法をまとめた記事
同じ依頼でも毎回違うコードを出す AI を、テスト・リント・スクリプトといった決定論的な装置を何層も重ねて検査し、モジュール化で検査単位を細かく分けるワークフローを段階ごとに解説します