[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.

[kaba0]

Since basically every single type system has escape hatches (casts), yes, I would say completeness is more important than soundness.