The thing that most commonly bites me is the inability to take advantage of multiple dispatch across multiple generic types. The following isn’t possible and there are many cases where it would be the best solution: public void my_method(List<String> input) { … } public void my_method(List<Integer> input) { … }
Reification is the process of taking an abstract thing and creating a concrete thing. The term reification in C# generics refers to the process by which a generic type definition and one or more generic type arguments (the abstract thing) are combined to create a new generic type (the concrete thing). To phrase it differently, … Read more
The whole point is that reified generics have support in the compiler for preserving type information, whereas type erased generics don’t. AFAIK, the whole point of having type erasure in the first place was to enable backwards compatibility (e.g. lower versioned JVMs could still understand generic classes). You can explicitly add the type information in … Read more
A TypeTag solves the problem that Scala’s types are erased at runtime (type erasure). If we wanna do class Foo class Bar extends Foo def meth[A](xs: List[A]) = xs match { case _: List[String] => “list of strings” case _: List[Foo] => “list of foos” } we will get warnings: <console>:23: warning: non-variable type argument … Read more