• ImplyingImplications@lemmy.ca
    link
    fedilink
    arrow-up
    82
    arrow-down
    1
    ·
    1 day ago

    It is true. Math.min() returns positive Infinity when called with no arguments and Math.max() returns Negative Infinity when called with no arguments. Positive Infinity > Negative Infinity.

    Math.min() works something like this

    def min(numbers):
      r = Infinity
      for n in numbers:
        if n < r:
          r = n
      return r
    

    I’m guessing there’s a reason they wanted min() to be able to be called without any arguments but I’m sure it isn’t a good one.

    • bss03@infosec.pub
      link
      fedilink
      English
      arrow-up
      34
      arrow-down
      3
      ·
      1 day ago

      So, the language isn’t compiled (or wasn’t originally) so they couldn’t make min() be an error that only a developer saw, it has to be something that the runtime on the end-user system dealt with. So, it had to be assigned some value. Under those restrictions, it is the most mathematically sound value. It makes miniumum-exactly-2(x, min(<…>)) be exactly the same as min(x, <…>), even when the “<…>” has no values.

      As a developer, I see a lot of value in static analysis, including refusing to generate output for sufficiently erroneous results of static analysis, so I don’t like using JS, and the language that I tinker with will definitely have a separate compilation step and reject the equivalent of min(). But, if I HAD to assign something like that a value, it probably would be a representation of infinity, if we had one (probably will due to IEEE floats).

      HTH

      • hades@lemm.ee
        link
        fedilink
        arrow-up
        9
        arrow-down
        1
        ·
        22 hours ago

        The language not being compiled has nothing to do with error handling. You could have a min function that operates on dynamic arrays (e.g. std::min_element in C++ or min() in Python).

        • bss03@infosec.pub
          link
          fedilink
          English
          arrow-up
          1
          ·
          11 hours ago

          Not having a separate compilation step absolutely affects error handling. With a compilation step, you can have errors that will only be seen by and must be address by a developer prior to run time. Without one, the run time system, must assign some semantics to the source code, no matter how erroneous it is.

          No matter what advisory “signature” you imagine for a function, JS has to assign some run time semantics to that function being called incorrectly. Compiled languages do not have to provide a run time semantics to for signatures that can be statically checked.

          • BatmanAoD@programming.dev
            link
            fedilink
            arrow-up
            1
            arrow-down
            1
            ·
            6 hours ago

            Without one, the run time system, must assign some semantics to the source code, no matter how erroneous it is.

            That’s just not true; as the comment above points out, Python also has no separate compilation step and yet it did not adopt this philosophy. Interpeted languages were common before JavaScript; in fact, most LISP variants are interpreted, and LISP is older than C.

            Moreover, even JavaScript does sometimes throw errors, because sometimes code is simply not valid syntactically, or has no valid semantics even in a language as permissive as JavaScript.

            So Eich et al. absolutely could have made more things invalid, despite the risk that end-users would see the resulting error.

            • bss03@infosec.pub
              link
              fedilink
              English
              arrow-up
              1
              ·
              4 hours ago

              Python also has no separate compilation step and yet it did not adopt this philosophy

              Yes. It did. It didn’t assign exactly the same semantics, but it DOES assign a run time semantic to min().

              • BatmanAoD@programming.dev
                link
                fedilink
                arrow-up
                2
                ·
                edit-2
                4 hours ago

                I’m addressing the bit that I quoted, saying that an interpreted language “must” have valid semantics for all code. I’m not specifically addressing whether or not JavaScript is right in this particular case of min().

                …but also, what are you talking about? It throws a type error if you call min() with no argument.