Comment by pansa2
> Python is thus very much part of the modern statically typed languages scene (moreso than Go)
Python’s type system is substantially more complex than Go’s - it’s probably more complete, but given it’s optional nature, less sound.
In “modern” type systems, is completeness considered more important than soundness? The success of TypeScript suggests it is.
Since basically every single type system has escape hatches (casts), yes, I would say completeness is more important than soundness.