「静的型付けがどう有利なのか？」「なぜ型を明示的に書く必要があるのか？」を理解していない人が型を設計しても、あんまり安全にはならない＞＜
たとえば、曜日を管理するのに文字列型で管理するようなシステムにした場合には、曜日の誤りを型検査であらかじめ発見できない＞＜
曜日を曜日型として設計し、それで管理するようにすれば、たとえば"炎曜日"みたいな意味不明曜日によるエラーは防ぐ事ができるし、静的型付けの環境であればそれを実行前に検査できる＞＜