I feel similarly. At some point in the past, many static type systems were not expressive enough to handle some of the useful strategies available to dynamic type systems.
But nowadays, pretty much all static type systems employ some (or multiple) convenient methods of polymorphism
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?
I feel similarly. At some point in the past, many static type systems were not expressive enough to handle some of the useful strategies available to dynamic type systems.
But nowadays, pretty much all static type systems employ some (or multiple) convenient methods of polymorphism
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.
Strong typing is not boilerplate-heavy in all languages (ex: TypeScript)