TS型設計 判別可能なユニオンで状態を表す

本文の冒頭

型の作り方によっては、実際にはありえないデータも、型チェックを通ってしまいます。この章では、 ? と真偽値を並べた型がどのような問題を起こすかを、読み込みの状態と予約の状態で確かめます。 蓮さんは、商品一覧の読み込みの状態を、いくつかの省略できるプロパティで表していました。ある日、「読み込み中」と「エラー」が同時に画面に表示される不具合が見つかりました。