【速報】2038年問題のチェック漏れで、KDDIが誤請求
数学的に美しい解としては、例えば序数と基数をきちんと区別するような感じで、「日付型」と「日付差型」の二つの型を持てばどうだろう。日付型には、
- 二つの日付型の差として日付差型を算出
- 日付型と日付差型の和or差として日付型を算出
の二つの演算だけを認めておく。日付差型は、
- それ同士の和や差
- 日付差型と整数型の積、日付差型を整数型で割った商
が日付差型になるようにクラスを作っておけば、こういうミスは防げないかな。
数学的に美しい解としては、例えば序数と基数をきちんと区別するような感じで、「日付型」と「日付差型」の二つの型を持てばどうだろう。日付型には、
の二つの演算だけを認めておく。日付差型は、
が日付差型になるようにクラスを作っておけば、こういうミスは防げないかな。