12 月の次は 1 月か

寒い。

Month で翌月を返す関数について考えている。 12 月の翌月は 1 月のような気がするんだけどそういう挙動でも良いものか迷っている。翌年の 1 月は 1 月なのか。実装するのは難しくない。 next 的なものが Option<Month> ではなく Month を返せるのも嬉しい。でもそれで良いのか自信が持てない。

java.time.Month の plus はそうなっている。 https://docs.oracle.com/javase/jp/8/docs/api/java/time/Month.html#plus-long-

---

今日のコミット。

• rust-sandbox 14 commits
  • date-time: 0.6.0
  • date-time: add Instant::now
  • date-time: time_zone_offset -> offset
  • date-time: LocalDateTime -> DateTime
  • date-time: LocalDateTime -> DateTime (file name)
  • date-time: LocalTime -> Time
  • date-time: LocalTime -> Time (file name)
  • date-time: LocalDate -> Date
  • date-time: LocalDate -> Date
  • date-time: add some tests
  • date-time: add LocalDate::{first_date_of_month,last_date_of_month}
  • date-time: fix OffsetDateTime::from_instant
  • date-time: add Instant::{max,min}
  • date-time: impl TryFrom<i64> for Instant
• rust-atcoder 1 commit
  • code-festival-2014-relay a