2018-08-23から1日間の記事一覧
pythonでもdictに型を付けたいですね。一応TypedDictという型を定義したいという動きになっています。ちなみにまだこの機能はexperimentalになっているので。mypy_extensionsの方に入っています。 import mypy_extensions as mx class Pair(mx.TypedDict): l…
デフォルト引数周りの型のことでちょっと把握できなかった部分があったのでメモ。 余分なデフォルト引数を持つ実装について 例えば、以下の様なプロトコルがあるとする。 import typing as t import typing_extensions as tx class Adder(tx.Protocol): def …
github.com dictknifeのdiffに変更部分見比べられるような機能を追加した。ある意味昨日の以下の記事の続き。 dictknifeでmarkdownのテーブルの入出力に対応した - podhmo's diary 例えば以下の様な2つのJSONがあるとする 00.json { "name": "foo", "age": …