3 ms·
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
by yodelshady 6y ago
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.
- presentation 6y agoCurious why you think that about generics?
- Quekid5 6y ago> 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.