• CanadaPlus@futurology.today
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    11 months ago

    I’m guessing it’s not alone. Every time format should come with a distance function and order function, or equivalent. If you have a life, that could mean something like subtraction.

    Unfortunately, “should” isn’t always enough. Optimally there’s also type structure to the return of the function so you can’t mix up seconds and days, or calendar and (one of the) standard length days.