[s_dev]

>From what I've seen copilot really lowers the barrier to writing buggy code

There is no barrier to writing buggy code. Writing buggy code is considered trivial in any language.

[pydry]

I'd estimate about half of all programming is throwing up barriers to writing buggy code.

There's a constant tension between building fast and right (or should be if you're not fucking up).

[bicolao]

Is that true with functional languages? I can see a class of buggy code that can be very hard to write. But maybe I'm not seeing the whole picture.

[myWindoonn]

Sure. Regardless of how wacky your definition of "functional" gets, it is possible and relatively easy to write bugs in Python, Scheme, Haskell, or OCaml; all of these languages confuse `x + y` and `x - y`. Idris, Agda, or Coq can catch that mistake, but still suffer "Boolean blindness" and other traditional problems.

There are plenty of bug classes which are trivial in any language; plan interference is a good example. Languages provably cannot avoid these bugs entirely, just make them less easy.