2025/11/22 修正 一部表記ミスと用語の不統一がありましたので、修正しました。 Typescript → TypeScript satisfy → satisfies Union型 → Discriminated Union型(正確な用語に統一) BrandedType → Branded Type(表記を統一) はじめに satto workspace のプロダクト開発をしているエンジニアです! 「TypeScriptを使えば型安全なコードが書ける」 多くの人はこんな期待を持って、コードを書き始めることでしょう。 しかしそのコードは、「型」の恩恵を受けているでしょうか? 例えば運動して痩せたいと思っている人を想像してみてください。「ジムに入会したから痩せるわ」と言われたらどうでしょう。 その返しはあえて言いませんが、それと同じです。 「TypeScriptを使うだけ」で型安全にな

