TIL: Sweden had February 30 in 1712 https://en.wikipedia.org/wiki/1712_in_Sweden , so I decided to see how chrono handled that.

use chrono::TimeZone;
use chrono_tz::Europe::Stockholm;

fn main() {
    let feb30 =  Stockholm.ymd(1712,2,30);
    println!("Date: {:?}", feb30);
}

 target/debug/feb30
thread 'main' panicked at /home/snaggen/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chrono-0.4.34/src/offset/mod.rs:252:40:
No such local time
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Result (as expected): Not well! 😄

I also tested Java with

ZonedDateTime feb30 = ZonedDateTime.of(1712,2,30, 0,0,0,0, ZoneId.of("Europe/Stockholm"));

with simmilar result

java.time.DateTimeException: Invalid date 'FEBRUARY 30'

So, lets take a minute of silence for all the programmers of history related software, may the spagetti monster have mercy on their souls.

  • Turun@feddit.de
    0·
    9 months ago

    Most people are flexible about that already. If you stay up to ten past twelve, do you say “I really need to get to bed now, I have work tomorrow” or do you say “I really need to get to bed now, I have work today”?

    The same will be true for morning and evening in everyday speech, it follows your sleep schedule, which follows the sun. Just like summer can already mean July or December, depending on your longitude.

    • robinm@programming.dev
      0·
      9 months ago

      I wasn’t clear enough. But in a contry where the sun rise at 20:00, the weekday looks like:

      • day 1: Monday morning to Tuesday evening
      • day 2: Tuesday morning to Wednesday evening
      • day 3: Wednesday morning to Thurday,
      • …

      And phares like "let’s meet on Tuesday“ without hour indication could either mean end of day 1 or start of day 2. Likewise "let’s meet the 20th” (assuming the 20th is a Tuesday) could either mean end of day 1 or beggining of day 2.

      –

      And alternative be to have

      • day 1 == Monday == “end of the 19th” to “the start of the 20th”
      • day 2 == Tuesday == “end of the 20th” to “the start of the 21st”
      • day 3 == Monday == “end of the 21st” to “the start of the 22nd”
      • …

      Which solve the issue of "let’s meet on Tuesday”, but not “let’s meet the 20th”.