3 ms·
No disagreement. I was just pointing out that what you were asking for is in fact user-defined generics.
by catnaroek 10y ago
No disagreement. I was just pointing out that what you were asking for is in fact user-defined generics.
- scott_s 10y agoIn fact, if I understand spriggan3's proposal correctly, that's how Java's generics work. The approach is usually called type-erasure. (https://docs.oracle.com/javase/tutorial/java/generics/erasure.html https://docs.oracle.com/javase/tutorial/java/generics/erasur...)