Ruby でも型チェック (Codelogy)動的型付け (スクリプト) 言語では、データ型のチェックが実行時にしか行われないため、プログラムの妥当性検証・デバッグといった作業が困難になります。 例えば、Ruby でプログラムを書いていて、次のようなバグに悩まされたことのある人は多いのではないでしょうか。 Integer オブジェクトを参照しているべき変数が、他の型のオブジェクトを参照している。 そのオブジェクトが「いつ」「どこで」代入されたものなのか分からない。 この手のバグは、問題の発生 (不正な型の代入) と発覚 (エラーの発生) の位置が離れてしまうので、非常に厄介。 発生箇所を絞り込むのが難しいため、プログラムを広範囲に渡って見直すハメになります。 require 'date' require 'check_type' # 「学生」クラス class Student attr :id attr :fname attr :l
