type-level-correctnesspattern-matchingtypescripttype-safety Switch文はコンパイル時にバグを見逃す TypeScriptのswitch文は、ケースの欠落を黙って許してしまう。以下は、実行時ではなくビルド時に失敗する、網羅性チェック付きのパターンで置き換える方法だ。 あなたはshape型をリファクタリングし、新しいバリアントを追加した。TypeScriptはグリーンのままだった。CIは通過した。デプロイも完了した。そしてユーザーがを返す実行時の分岐に到達し、アプリがプロダクションで例外を投げた。… 2026年6月20日