4 ms·

>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 trivia

• pydry 5y ago
  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 5y ago
  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 5y ago
    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.
• deleted 5y ago
  [deleted]