型安全Storageの実装を通して学ぶ! TypeScriptの型

まえがき TypeScriptの型システムは、他のプログラミング言語にはないユニークな機能を多く備えています。これは、動的型付け言語であるJavaScriptで書かれたコードの振る舞いを(静的)型によってモデル化するという難題に対する答えであり、結果としてTypeScriptの型は比肩するものがないほど強力な表現力を持つことになりました。 TypeScriptの型システムが持つ機能の詳細な解説に関しては、既に素晴らしい記事が星の数ほどあります。しかし、それらの機能をどう応用すれば作りたいものを作れるのか?という知識は、実際にものを実装してみるという活動を通してしか得られないものだと感じます。 そこで、この記事では型安全なStorageラッパーの実装を題材とし、その過程を共有していきます。 想定読者 TypeScriptの型システムの機能に関する知識はあるが、応用方法がいまいちピンとこない方

[shimarisugi]

自分はステート管理はredux使ってreduxのデータを丸々ストレージにミラーリングするようにしてる。型もreduxのを使い回せて便利よ

[yarumato]

“Web Storageは単純なKey-Value Storeであり、保存・取得のとき値を文字列表現への変換が必要。キーとそれに紐つく値の型の関係を解決する理想的なStorageラッパーが欲しい。TypeScriptの型の強力な表現力”