型安全性

型検査を通過したなら、絶対に意味論的に未定義な状態にならない