with文は1行で書ける。しかし…。 以前のエントリで、Pythonの io.BytesIO と zipfile.ZipFile の組み合わせについて扱った。 xaro.hatenablog.jp その際の結論として、io.BytesIO を明示的に閉じるように勧めた。 with io.BytesIO(content) as bs: with zipf…

Hypothesisとは何か、プロパティベーステストとは何か Hypothesisは、Python向けのプロパティベーステストのライブラリである。 プロパティベーステストは、生成された多数の入力データに対してプロパティ(性質)が満たされるかどうかをテストする手法である…

まとめ Choices クラスの登場により、ModelのFieldにある choices を指定しやすくなった。 しかし、Choices クラスを使っても、ModelのFieldにある choices では、データベースに入る値を制限できない。 CHECK制約を使えばデータベースに入る値を制限できる…

言いたいこと Pythonの列挙型を定義する方法としてクラスと関数呼び出しの2種類存在する。 関数呼び出しで列挙型を定義するべき状況とは、列挙型を動的に制御したい状況である。 しかし、関数呼び出しで列挙型を定義すると、mypyを通して型チェックをする際…