you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 3 weeks ago* (last edited 3 weeks ago) (2 children)

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

  • source
  • parent
  • hideshow 2 child comments
  • [–] 1 point 3 weeks ago (1 child)

    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

  • source
  • parent
  • hideshow 1 child comment
  • [+] 1 point 3 weeks ago
    [removed by mod]
  • source
  • parent
  • [–] 1 point 3 weeks ago (-1 children)

    Well this is why you have different levels of warnings. Some are just flat out errors, some are strong warnings, others are weak warnings. Of course, at the end, the programmer has to be the one to decide to follow the language server's diagnostics or not.

    As far as I understand, the whole draw of Rust is it's very opinionated in its safety. If you don't want that, Rust is just not for you.

  • source
  • parent
  • hideshow -1 child comments
  • load more comments (-1 replies)
  • [–] 1 point 3 weeks ago (1 child)

    This is Lua code. LuaLS is basically the language server available.

    And sorry, I should have said "dynamically typed". But, weak tables.

    There's a lot of things that don't get caught, such as concatenating a boolean which causes a lua error in our environment. LuaLS won't catch that.

    Formatting isn't a problem for us, but it does affect the kernel. But, the VSCode one we use does a lot of weird things honestly.

  • source
  • parent
  • hideshow 1 child comment
  • load more comments (-2 replies)