5·
3 days agoI don’t think a powerful type system can be added to python effectively. Even more convinced of this after reading “minimize false positives”.
Otoh, how strong of a type system is required for effective development? Probably what can be shoehorned into python tbh.
I’m on the more powerful the better side. So for me, Scala is the weakest type system I like working with.
Practically tho: aside from the issues you mention, the type checker for python would be a great aid for a broader range of developers than myself!