alt Hacker NewsPost had nothing to do with Haskell so the title is a bit misleading. But rest of article is good, and I actually think that Agentic/AI coding will probably evolve in this way.
The current tools are the infancy of AI assisted coding. It’s like the MS-DOS era. Over time maybe the backpropagating from “your comfort language” to “target language” could become commonplace.
Replies
Agreed. This website seems to prepend the blog name to each page's document.title
Would suggest that one of the mods remove it
I was excited to see a non-AI article on this site for once. Oh well.
It was a good article though
Programming languages are most interesting area in CS for the next 10 years. AI need criteria for correctness that can't be faked so the boundary between proof verification and programs will become fuzzier and fuzzier. The runtimes also need support for massively parallel development in a way that is totally unnecessary for humans.
> Post had nothing to do with Haskell so the title is a bit misleading.
To be fair, that's not part of the article's title, but rather the title of the website that the article was posted to.