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

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

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

本連載では、現段階においてテスト用のプログラムは何も書いていないわけですが、今までは作成したプログラムが正しく動いているかどうかをどうやって判断していたでしょうか？ そう、Pythonスクリプトを実行して、期待した値が表示されるかどうかを ...