• Digital Mark@lemmy.ml
    link
    fedilink
    English
    arrow-up
    13
    arrow-down
    25
    ·
    1 year ago

    Strong typing is for weak minds.

    You absolutely do not need a computer telling you what types you can put in a collection. Put an assert, write some unit tests, if you aren’t sure where data sources come from and can’t write a one-line comment.

    Dynamic typing makes you fast, it’s empowering. Try it and quit being so scared.

    • colonial@lemmy.world
      link
      fedilink
      arrow-up
      14
      arrow-down
      1
      ·
      edit-2
      1 year ago

      No matter how many unit tests or comments you write, it’s impossible to “prove” type correctness in a dynamically typed language - and it will eventually blow up in your face when you have to refactor. There’s a reason for the adage “testing can’t prove the absence of bugs.”

      People like static typing because it offers strong guarantees and eliminates entire classes of bullshit bugs, not because they’re “weak minded.”

      • Digital Mark@lemmy.ml
        link
        fedilink
        English
        arrow-up
        2
        arrow-down
        5
        ·
        1 year ago

        Typing can’t prove anything, either. It just creates bugs and crashes.

        Your program logic is the part that will not be fixed by it.

        • colonial@lemmy.world
          link
          fedilink
          arrow-up
          6
          arrow-down
          1
          ·
          edit-2
          1 year ago

          Typing can’t prove anything, either.

          Incorrect. Static typing can prove many things, depending on the quality of the type system.

          At the very least, it proves that your data is organized, stored, passed around and used in a logically valid and consistent manner. Make that proof impossible, and the compiler complains. (And with good reason - it doesn’t matter how good your program logic is if you’re feeding it bad data. Garbage in, garbage - or a runtime error - out.)

          In a dynamically typed language, your program logic still implicitly depends on that proof holding - it’s just that you, the fallible human, has to make sure everything checks out. Python added type hints for precisely this reason.

          Additionally, with more advanced static type systems, it becomes possible to issue guarantees beyond simple type safety. Patterns like typestate (found in TS, Haskell and Rust, off the top of my head) can be used to make illegal states unrepresentable at compile time. Try to write to a closed file or make an invalid state machine transition? The compiler will see it and say no.

          It just creates bugs and crashes.

          In what universe are runtime errors turned compile-time errors a source of bugs and crashes? A statically-typed program won’t blow up in production because some poor intern wasn’t able to keep the implicit type bounds of every single function parameter in his head.

          • Digital Mark@lemmy.ml
            link
            fedilink
            English
            arrow-up
            2
            arrow-down
            1
            ·
            1 year ago

            There’s some math & CS papers you should read, Gödel’s incompleteness theorem, Turing’s halting problem. YOU CANNOT prove your way out of logic errors. You cannot make a universal type system. All you’re doing is wasting time with false confidence.

            • colonial@lemmy.world
              link
              fedilink
              arrow-up
              2
              arrow-down
              1
              ·
              1 year ago

              I never said that static typing stops all logic errors or fully proves program correctness, but go off I guess…

    • Mot@beehaw.org
      link
      fedilink
      English
      arrow-up
      11
      ·
      1 year ago

      I agree, strong typing is for weak minds. I work with a weak mind so I want strong typing.

      There’s no difference in speed between typing disciplines. In point of fact, there cannot be. You must know the structure of your data to program against it. Whether you write it down explicitly or implicitly changes nothing but the location you wrote it down.

      • colonial@lemmy.world
        link
        fedilink
        arrow-up
        1
        ·
        1 year ago

        Plus, most statically typed languages either do type inference by default or let you opt in somehow.

        Even Java, which is probably the reason everyone hated static typing for the first decade of the century or so, now has var.

      • GaveUp [she/her]@hexbear.net
        link
        fedilink
        English
        arrow-up
        2
        arrow-down
        1
        ·
        edit-2
        1 year ago

        It’s not just the physical typing

        It’s the fact that you can be extremely flexible with data structures and variables

        E.g. you can have a list of strings and ints in Python but not java

        • morrowind@lemmy.ml
          link
          fedilink
          arrow-up
          1
          ·
          1 year ago

          This is why union types are great (also sum types are similar I think, never used those)

      • FooBarrington@lemmy.world
        link
        fedilink
        arrow-up
        4
        arrow-down
        1
        ·
        1 year ago

        I’m not any faster in languages without static types. It’s the opposite, I’m fastest when I can write accurate type hints, since it makes the editor experience much better.

    • T (they/she)@beehaw.org
      link
      fedilink
      arrow-up
      2
      ·
      1 year ago

      Until you’re oboarded on a codebase that’s heavy on tech debt and that also doesn’t have proper documentation of the data being used.

      • Digital Mark@lemmy.ml
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 year ago

        Terrible projects are terrible because of the developers, not because of the language.

        I find dynamic projects easier to refactor and fix, just write some tests and if it’s green bar before and after, you’re fine.

          • Digital Mark@lemmy.ml
            link
            fedilink
            English
            arrow-up
            1
            ·
            1 year ago

            All my career. They can’t program, they have no valid opinion about programming, as long as we finish the user stories. Which is several times faster in a nice dynamic language than a bondage language.