• @hypertownOP
    link
    -11 year ago

    Well, that depends on definition. But the joke is why on earth would you want to write types on your shopping list? Like this:

    • tomatos (vegetable)
    • apples (fruit)

    Etc.

    • @[email protected]
      link
      fedilink
      71 year ago

      Why not? If a shop is having a sale on fruits only then I would like to sort out all the fruits quickly.

    • @[email protected]
      link
      fedilink
      2
      edit-2
      1 year ago

      So that the mindless automaton delivering your groceries doesn’t unexpectedly give you tomatoes for your sundae, in a future expansion to dish-based orders.

      I’ve yet to create a type error that didn’t correspond to me thinking about something wrong.