|
|
|
|
|
|
by paddy_m
380 days ago
|
|
|
I was just commenting that I had glossed over that in multiple readings about different typing systems. The parent of my original comment explained it nicely. I know that dependent type is the term of art, and you should probably keep it. You could say something along the lines of "ovld supports dependent types (an additionally specific name for a type that is based on its value, ie > 0)" the first time you use the term dependent types." |
|
|