Sounds like we need computer languages that are better at preventing bugs. Throw in a little static analysis and AI assistants become more useful.
Type inference, pure functions, functional, assertions, …
Maybe start with Haskell?
Type inference, pure functions, functional, assertions, …
Maybe start with Haskell?