Statically-typed languages are a much less cumbersome beast than when I first encountered them, that can't help but prejudice the debate. Python was an enormous breath of fresh air.
Type inference, generics and variable shadowing have mostly covered almost all the pain points since. I don't have to declare what's obvious, I don't have to cover irrelevant differences, and I don't have to consider the artefacts of types past.
Still think generics are static typists admitting the shortcomings of a type system, without actually doing so, though.
> Still think generics are static typists admitting the shortcomings of a type system, without actually doing so, though.
Wait, what? Any static type person will readily say that type systems have shortcomings (though I'd probably prefer limits or limitations as a word with fewer negative connotations). It's just a matter of which limitations.
Type inference, generics and variable shadowing have mostly covered almost all the pain points since. I don't have to declare what's obvious, I don't have to cover irrelevant differences, and I don't have to consider the artefacts of types past.
Still think generics are static typists admitting the shortcomings of a type system, without actually doing so, though.