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