• Ghoelian@piefed.social
    link
    fedilink
    English
    arrow-up
    0
    ·
    12 hours ago

    A good language server / ide will also complain about incorrect types. That specific example is a deterministic process, no llm is required for it at all.

    • auzy1@lemmy.world
      link
      fedilink
      arrow-up
      0
      ·
      12 hours ago

      We do use one. But, in practice, they can’t catch a lot of things which AI will

      At least in our case too based on what’s available, it also can’t check stuff like coding style well (but our development relies on that less).

      Some might though

      • Ghoelian@piefed.social
        link
        fedilink
        English
        arrow-up
        0
        ·
        3 hours ago

        I find that very hard to believe, if you’re truly just talking about typing. If this is true you’re using an awful language server / linter / whatever.

        Coding style is also a deterministic process, for which every widely used language has a linter or formatter or whatever. Also no LLMs needed.

        As a professional software developer of 8 years, I honestly have no idea what you’re talking about