That’s it. That’s the meme.

  • tetris11@lemmy.ml
    link
    fedilink
    arrow-up
    3
    arrow-down
    7
    ·
    edit-2
    16 hours ago

    Yes, we should all use rigid types. Name me one language you actually like writing quickly with that has types?

    Pyth-oh. Bash-oh. Lisp-oh. Perl-oh. Oh yeah… typed languages suck because of all the boiler

    Edit: Fine, Python / Lisp / Perl are all technically “typed” languages, but I ask you what’s point of throwing type errors at runtime. Javascript and Rust actually have it right here that the code is either going to run, or it simply isn’t. No pussyfooting letting it run first to throw complaints

    • Neshura@bookwyr.me
      link
      fedilink
      English
      arrow-up
      11
      ·
      19 hours ago

      Python, uh, has types tho? Python just doesn’t engage in the same brainless type coercion that JS does, instead type coercion is much more limited and sensible.

      • tetris11@lemmy.ml
        link
        fedilink
        arrow-up
        1
        ·
        22 hours ago

        Never got into Haskell, but I was taught Miranda at school and thought it was pretty cool

        • alsimoneau@lemmy.ca
          link
          fedilink
          arrow-up
          6
          ·
          18 hours ago

          I don’t see the image and the last paragraph sais nothing about types.

          But Python is a strongly typed language. It’s right there in the info box.

          • Oriel Jutty :hhHHHAAAH:@infosec.exchange
            link
            fedilink
            arrow-up
            1
            arrow-down
            3
            ·
            18 hours ago

            “Strongly typed” is meaningless. (Or nearly so; in practice it means “I like this language” and “weakly typed” means “I dislike this language”.) The point is that Python has no type system.

            • alsimoneau@lemmy.ca
              link
              fedilink
              arrow-up
              4
              ·
              14 hours ago

              You’re spewing nonsense.

              There absolutely is a type system in Python. The fact that you have dynamic types doesn’t preclude having also strong types and certainly doesn’t mean you don’t have types at all. Try to do 2+“a” in Python and you’ll get a TypeError. The thing with Python is that values have a type, not variables. Because all variables are essentially pointers.

              • Oriel Jutty :hhHHHAAAH:@infosec.exchange
                link
                fedilink
                arrow-up
                0
                arrow-down
                1
                ·
                13 hours ago

                Again, “strong types” doesn’t mean anything.

                But from a type theory perspective, having “dynamic types” absolutely means you don’t have a type system. All Python has is runtime exceptions. The fact that one of them is named TypeError doesn’t make it a type error in the formal sense.

                The point of a type system is not that variables have types, but that types are assigned to expressions (i.e. pieces of code in your source file), not to values (i.e. pieces of data). This is important because it guarantees that certain errors cannot occur in a program that passes the type checker (assuming you have a sensible/useful type system). And you get this assurance without running a single line of code.

                To get a similar guarantee from Python, you need to write exhaustive tests, just as with any other runtime error.

                • alsimoneau@lemmy.ca
                  link
                  fedilink
                  arrow-up
                  1
                  ·
                  7 hours ago

                  That’s a very narrow definition of limited usefulness, and in practice it means your code is overly verbose and inflexible. You get stuck with polymorphism everywhere or you’re explicitly converting data all the time for nothing.

                  Plus, if you try to process some data from an external source (which you have to if you want to do anything useful) you don’t have any way to test if it’s the right type before execution, so you’re back at the same place that Python is, without the ability to cleanly recover.