どんな本？

`any` を書くたびに少し罪悪感を覚える、そんな繊細なエンジニアにこそ刺さる一冊。この本を読むと、型エラーを「うるさいな」ではなく「ありがとう」と受け取れるようになります。特に代数的データ型（ADT）の章は、Union型を「なんとなく使う」から「意図して設計する」へと思考を引き上げてくれる。型で仕様を表現する感覚が身につくと、コードレビューのコメントが激減するという副作用も。`unknown` と `any` の違いをちゃんと説明できるか怪しい人は、黙って買いましょう。