4 ms·
I think it's largely an urban myth. All expressive languages whose type systems don't have a 1-to-1 equivalence in the runtime's type system need to employ som
by broiledegg 9y ago
I think it's largely an urban myth.
All expressive languages whose type systems don't have a 1-to-1 equivalence in the runtime's type system need to employ some degree of erasure.
The distinction between "erasure" and "no erasure" doesn't make much sense. It's always just about more (CLR 1, JVM < 10) or less (CLR >= 2, JVM >= 10) erasure.
- emodendroket 9y agoI don't see how you figure. In C# List<string> and List<int> are two different types at runtime.
- broiledegg 9y agoAnd ...?
- emodendroket 9y agoIf you're implementing a CLR language and want flawless interop with everything then you just have the constraint that you need to support generics in the same way that other CLR languages do. I'm not seeing why this model is so much worse.