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

プログラミングをしていると、「この時点での変数は、絶対にプラスの値になっているはず」「リストの中身は空ではないはず」といった、**「プログラムが正しく動いていれば、絶対に成り立つはずの前提」**というものが存在します。 この前提が崩れて ...

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