多くのプログラミング言語で `assert` というメカニズムが実装されています。
`assert` はプログラムを記述する人が、絶対にコードのこの場所ではこの値が入ってくる、という意志を表明するための仕組みです。
例えば、以下の `add(a, b)` のコードを見てみると、この `add(a, b)` では、2つの引数、 `a` `b` に数値以外の値が入ってきた場合、特に何か特別な処置をしない限り `Assertion Error` を発生させ、プログラムを終了させます。試しにやってみると