3 ms·
In automatic programming discussions, one commenter said long ago that we already have people that deal with English this precise: lawyers. Such a model would b
by nickpsecurity 10y ago
In automatic programming discussions, one commenter said long ago that we already have people that deal with English this precise: lawyers. Such a model would basically turn programmers into people writing legal documents that the AI then turned into programs.
- EGreg 10y agoWe already have language lawyers for implementing compilers. I think the right solution is to take away most of the "convenience" features. Most people don't touch all of them anyway because they don't know how they would interact. But everyone joining a team would have to learn them. Why do so many computer languages experience scope creep? Including C++ and JS.
- nickpsecurity 10y agoSort of. I mean that you have to write specifications gor programs in English so precise and literal that it's like writing legal contracts. Compiler writers don't do that except in language specs. They use codd. Closest thing, which would be used in addition to English, is using a mathematical notation like Z or TLA+ for anything ambiguous. That's standard in high-assurance development.