Proposal: `any` as default type-argument for node with any number of type-parameters, not just one
Opened this issue · 1 comments
emil14 commented
We can
For{Println}
But we have to
Map<int, int>{Decr<int>}
Would be nice to be able to
Map{Decr<int>}
When we don't care (when we ok with any
) - e.g. we Println
data or something like that
emil14 commented
Don't forget that if user passed at least one type arg and there's more, user must pass all the others
Also, if we gonna do the same for types, logic should be the same
Another thing could be allowing specifying const
without type. However, it's not clear how complex types should validated them (and should they at all? If that's any
?)
(Thing with const
should be problem for IrGen
step. And also think about irgen when doing this kind of stuff)