Re: symmetric signed types

[Timon Gehr]

On 01/24/2014 11:33 PM, Walter Bright wrote:

...
2. types do not depend on particular runtime values (the whole notion of
static typing would fall apart if it did)

http://en.wikipedia.org/wiki/Dependent_type