It seems to me that debate ended - at least for non-hobbyist programmers - with the modern capability of LLMs. Writing code, especially when it comes to tedious boilerplate like types, has been so abstracted away from me nowadays going back to it feels like doing maths without a calculator... and even those used to be human at one point.

This debate ended a long time ago. Every language is moving toward stronger, static typing, especially JavaScript with TypeScript, but even Python.

I don’t know of any good arguments against strong, static typing. What do you think are some?