undefined | Better HN

0 pointspansa21y ago0 comments

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

0 comments

kaba01y ago

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

j / k navigate · click thread line to collapse

0 pointspansa21y ago0 comments

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

kaba01y ago

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

j / k navigate · click thread line to collapse