@V_ You could also make the opposite case. Since LLMs are even worse than humans at writing code that actually does what it's supposed to, the things like strong typing becomes more important.
And I'm not only talking about the typical nominal strong typing (nevermind the loosey-goosey “strong” typing of things like TypeScript), but languages with dependent types. That is to say, the type system can mathematically *prove* certain properties of the sytem and input (languages like Idris).
Of course, this has its own costs. Dependently typed languages are notorious for being difficult to understand. But maybe (at least parts of) the LLM-boosting crowd don't really care about that.