What would be the alternative? Not specializing at all would make your code awful slow (as you would need some quite complicated and costly treatment of generi

What would be the alternative? Not specializing at all would make your code awful slow (as you would need some quite complicated and costly treatment of generics at runtime). "Specializing by hand" is not realistically doable besides toy programs. And not having generics in the language at all will result in "solutions" like in Go… I see no way around (semi-)automatic specialization done by the compiler.