筒井@ryu22eです。2023年5月の 「Python Monthly Topics」 のテーマは、Python 3. 11からtypingモジュールに追加された 「assert_ never関数、Never型」 です。 みなさんは 「この行には仕様上絶対に到達しないはず」 というコードを書いたことはありますか？ そして、バグが ...

プログラムを書いていると、「この変数、絶対に負の値になるはずがない」とか「このリストは、空っぽではいけない」といった、開発者としての**「暗黙の前提」**がコードの随所に生まれます。 もしバグによって、この前提が崩れてしまったら ...

「本当にこの状態で合ってる？」を確認するための仕組みです。 たとえば、レストランで店員さんが 「注文はカレーで間違いないですか？」 と確認するイメージに近いです。 Pythonでは、プログラムが想定通り動いているかをチェックするために使われます。

Maybe I’ll wind up as the only user of this rather abstruse Python module. But it seemed like this functionality was worth splitting out from inside of my personal Python testing framework, where it ...