• TheRealKuni
    link
    fedilink
    English
    156 hours ago

    We use ! because keyboards no longer have buttons for ¬, which is the other logical not.

    • Zagorath
      link
      fedilink
      33 hours ago

      We could have used the tilde, which has been used in formal logic & maths for negation in very many contexts for a long time.

      It’s used instead in C and many C-like languages for the far less useful bitwise negation. Of course, we could have had it work in the same way as bitwise vs logical and & or, by dialling up the symbol. Which would have massively improved its visibility compared to the bang.

      But for some reason, no. They chose the bang instead.

    • Deebster
      link
      24 hours ago

      My (ISO) keyboards do, under the Esc key. I guess you’re in North America (or Australia) and have an ANSI layout.

      • TheRealKuni
        link
        fedilink
        English
        23 hours ago

        Ah, yep. I have very little knowledge of keyboards in other parts of the world, unfortunately.

    • Ephera
      link
      fedilink
      05 hours ago

      Oh, I know where it came from. That’s also why we have all kinds of maths operators in the syntax of virtually any programming language. Because back when we didn’t yet know where this programming thing was going, we just threw in the conventions of maths and theoretical logic.

      What I’m saying is that we have our own conventions now, i.e. objects and methods, so I think, it’s worth reconsidering whether we still want to have these old conventions that are special cases in the syntax.