TypedDictでpythonのtype hintでdictのkeyとvalueに厳格に型をつける - k.dev

はじめに この記事では、Pythonの型ヒントを使用してdict型のkeyとvalueの対応に厳格に型をつける方法を紹介します。 動作環境 Pythonの型チェックにはpyrightのstrict modeを使用します。 Python 3.8 組み込みDictの問題点 Pythonの組み込みのDict型は、厳格にkeyとvalueの対応付けを考慮した型付けができません。例えば以下のような関数があったとします。