4 ms·
> to be almost universally loved by programmers If AI-generated code is considered acceptable in your project then you aren't using a powerful-enough programmi
by crotchfire 3y ago
> to be almost universally loved by programmers
If AI-generated code is considered acceptable in your project then you aren't using a powerful-enough programming language. And you're paying the cost in code bloat.
How many Coq programmers find ChatGPT useful? How many nontrivial Coq programs written (and not merely memorized) by ChatGPT even pass type checking?
If you're considering AI-written code then you have a bloaty-code problem. Letting an AI write bloaty code conceals the symptoms (keystroke count) but tech debt will still kill your project sooner or later.
- diarrhea 3y agoInteresting take. Very elitist and not rooted in reality though, I must say. The overwhelming majority of code out there is in languages more verbose than strictly necessary, and less expressive than possible. So in real life, yes AI generated code is a helpful and worthwhile thing. Not everyone can swing their Coq around at work. That said, I do agree with the general notion. I find the more verbose the language, the better the help. Dense, more expressive languages fare worse. I’m referring to Python and Rust in my case, so one factor is of course massively larger training corpus for Python, and relatively more churn in Rust.
- mercer 3y agoHow many Coq programmers 'anything', tho?
- crotchfire 3y agogrammar harder