> Yes, you’ve repeated the same tired and unconvincing argument you read in your textbook.
That is quite presumptuous. I spoke from personal experience (15 years in a dynamic language, 5 years in a statically typed language).
> Meanwhile in the real world it’s demonstrate every day by users of dynamic type system that this is not true or required.
Static type systems are not required (though you do incur a cost in writing a lot more tests in dynamic languages), but it is not true that they are overrated.
It does sound like you inhabit domains that are well-suited to dynamic languages, hence you've arrived at an opinion that is a local optimum for your limited experiences. If you've ever worked with complex, multiparty, multidependency projects, you would not express such disdain for static type systems. The mypy project in Python recognizes that there is a place for static typing.
That is quite presumptuous. I spoke from personal experience (15 years in a dynamic language, 5 years in a statically typed language).
> Meanwhile in the real world it’s demonstrate every day by users of dynamic type system that this is not true or required.
Static type systems are not required (though you do incur a cost in writing a lot more tests in dynamic languages), but it is not true that they are overrated.
It does sound like you inhabit domains that are well-suited to dynamic languages, hence you've arrived at an opinion that is a local optimum for your limited experiences. If you've ever worked with complex, multiparty, multidependency projects, you would not express such disdain for static type systems. The mypy project in Python recognizes that there is a place for static typing.