memopythonでもdictに型を付けたいですね。一応TypedDictという型を定義したいという動きになっています。ちなみにまだこの機能はexperimentalになっているので。mypy_extensionsの方に入っています。Paimypy_extensionsついでに寄り道、mypy_extensionsについて、基本的にpythonの型関連の機能は以下の順でnitghtlyからstableというような遷移をします。stable(併記した修飾子は勝手に付けたものです)例えば、Protocolなんかはtyping_extensionsですね。ちなみにこのissueでtyping_extensionsにしようよ。https://github.com/python/mypy/issues/5288TypedDictの定義TypedDictの型の定義の仕方は、クラス定義likeにやる方法とcollectionsのクラスファクトリーlikeにやる方法の2種類があります。collectionsのクラスファクトリーlikeにやる場合の2種類があります。以下のような値がだめになります。"0"}欠損値を含む値を許可する(total=False)欠損値を含んだdictを取り扱いたいときもあると思います。totalというoptionがあります。defaultではTrueです。このtotalをFalseにすると以下の欠損値を含むコードも全部OKになります。{}欠損値を含んだtypedDictとのintersection(多重継承)これはいい感じにやってくれます。"Fq"}**kwargsみたいな他の値も取れるようなTypedDictは?例えば、a:int,b:intという2つのkeyに対しては型が決まっているが、他はanyみたいなdictについての対応のことです。これはまだissueの段階。specのformatのサードパーティ用の属性のx-foo-barみたいな部分の対応とかで使いそうです)https://github.com/python/mypy/issues/4441generics的なものは?まだhttps://github.com/python/mypy/issues/3863参考totalの話は実際の所しっかりドキュメントに書いてあるので。22:29mypyとTypedDictとtotalオプションについてTweet広告を非表示にする関連記事2019-10-12pythonのtyping_extensions.Protocolがなぜ嬉しいか(propertyの...mypyで使えるProtocolが便利という話の例。前回の記事で、以下のようなことを言っていた...2018-08-25mypyのdmypyの実装のされ方を覗いてみたmypyのdmypyの実装の仕方を把握する。componentという機能を追加した月別アーカイブはてなブログをはじめよう!podhmoさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。