Timon Gehr wrote: > 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 http://en.wikipedia.org/wiki/Refinement_type#Refinement_types