Currently, uint is not a subtype of int, because it supports uints larger than 2^127 (the max int value), however, if we make uint a subtype of int, many integer operations become much more ergonomic -- integer literals would not need type specifiers, arithmetic and other operations would no longer need to be input type variable, etc.
Currently, uint is not a subtype of int, because it supports uints larger than 2^127 (the max int value), however, if we make uint a subtype of int, many integer operations become much more ergonomic -- integer literals would not need type specifiers, arithmetic and other operations would no longer need to be input type variable, etc.
Context: