• @[email protected]
    link
    fedilink
    2112 days ago

    You stated the reason yourself. Those are different values and matching in a case-insensitive manner is more work under the hood.

    • @[email protected]
      link
      fedilink
      512 days ago

      We do plenty of stuff for human consumption. Computers work for us, not the other way around. Insensitivity should be the default. It’s okay to give options. I’m not saying take that away.

      • @[email protected]
        link
        fedilink
        212 days ago

        For some reason we decided that a lot of formats written by computers and read by computers would use ASCII encoding instead of raw data.

        Making a json or XML deserializer case insensitive would just make it slower for almost 0 benefit.