6 ms·
Also, dependent types, IE value-based dispatch. Which can be incredibly useful when dealing with enums. That alone is enough to make me curious to try it!
by nbadg 1y ago
Also, dependent types, IE value-based dispatch. Which can be incredibly useful when dealing with enums. That alone is enough to make me curious to try it!
- paddy_m 1y agoValue based dispatch is a much better name for it then Dependent Types. I have seen the term dependent types and just glossed over it because I thought it was a more complex topic.
- breuleux 1y agoYeah, I suppose. I wrote "dependent" because I think that's the term of art of it, but you're making me think I should probably change the header to something more intuitive to people unfamiliar with type theory.
- paddy_m 1y agoI 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."