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

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