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

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