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