broiledegg

5 ms·

1. 1.▲
   by broiledegg 9y ago

   And ...?
2. 2.▲
   by broiledegg 9y ago

   That's what I meant with: "That's largely an urban myth."
3. 3.▲
   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" a