I think that there is a strange reaction in the FP community against LLMs when it's obvious that they will replace much of programming and that what we desire in a programming language is going to change. I don't know for certain what we are going to want in future programming languages, but some guesses are that speed and verifiability will matter more and readability and error-avoidance will matter less. And, I think it makes sense for people to talk more about what a language designed for LLMs might look like rather than something else.
It is not at all "obvious" that statistical plagiarism networks will "replace" programming unless you're a college student that's never built anything but has crypto investments
Loved it, thanks !
The future looks awfully safe!
For real, it's shocking how little the non-determinism issue is discussed.
Why was 4o-mini used to generate the script at the start? It's pretty poor at coding..
I think that there is a strange reaction in the FP community against LLMs when it's obvious that they will replace much of programming and that what we desire in a programming language is going to change. I don't know for certain what we are going to want in future programming languages, but some guesses are that speed and verifiability will matter more and readability and error-avoidance will matter less. And, I think it makes sense for people to talk more about what a language designed for LLMs might look like rather than something else.
It is not at all "obvious" that statistical plagiarism networks will "replace" programming unless you're a college student that's never built anything but has crypto investments