Name:
Anonymous
2012-10-14 17:24
are there any languages that provide this? Types that depend on values with a set of associated methods complete with inheritance and the whole deal?
Name:
Anonymous
2012-10-14 18:02
>>2
https://en.wikipedia.org/wiki/Dependent_types
>>3
I will continue to learn it. Can it do dynamic dispatch based upon the dependent type? Or is it just static type checking with dependent types?