The tech stack has shifted almost entirely to whatever there was the most data on; Python and Javascript/Typescript are in, almost everything else is out.
I think AI agents will actually prefer strongly typed languages because they provide more feedback. Working with TypeScript, Python and Rust, while a year ago the first two were clearly winning in terms of AI productivity boost, nowadays I find Cursor Agent making fewer mistakes with Rust.
For somewhat similar reasons, I expect AI to use formalistic/proof theoretic languages like Lean and F* more for their coding, since you get a very large amount of feedback, and the reward model is essentially unhackable like a go simulator.
In essence, it will shift towards more provable/strongly typed languages to get more feedback.
I think AI agents will actually prefer strongly typed languages because they provide more feedback. Working with TypeScript, Python and Rust, while a year ago the first two were clearly winning in terms of AI productivity boost, nowadays I find Cursor Agent making fewer mistakes with Rust.
For somewhat similar reasons, I expect AI to use formalistic/proof theoretic languages like Lean and F* more for their coding, since you get a very large amount of feedback, and the reward model is essentially unhackable like a go simulator.
In essence, it will shift towards more provable/strongly typed languages to get more feedback.