But that’s type inference. Haven’t touched java since version 7 i think. But was pretty convinced they both have comparable type inference capabilities when it

But that’s type inference. Haven’t touched java since version 7 i think. But was pretty convinced they both have comparable type inference capabilities when it comes to parametric polymorphism. The big difference between C# and java is the reification of the parameter values, inferred or not. And the reification method choosen for C# gives you some extra metaprogramming capabilities, especially when combined with reflection. My argument was that this can be provided design time instead (inference too) while retaining the extra safety of having theorems for free