【速報】2038年問題のチェック漏れで、KDDIが誤請求

 数学的に美しい解としては、例えば序数と基数をきちんと区別するような感じで、「日付型」と「日付差型」の二つの型を持てばどうだろう。日付型には、

  • 二つの日付型の差として日付差型を算出
  • 日付型と日付差型の和or差として日付型を算出

の二つの演算だけを認めておく。日付差型は、

  • それ同士の和や差
  • 日付差型と整数型の積、日付差型を整数型で割った商

が日付差型になるようにクラスを作っておけば、こういうミスは防げないかな。