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
