This is hilarious: someone comments about a real problem that requires a practical solution in a programming language, and someone invariably rushes to add their subset of “nice to have” language features.
Well motivated choices though. Polymorphism reduces lines of code, which are correlated with bug count. Reliability is essential for critical system software.
Specialization eliminates nearly all overhead of polymorphism so there's no disincentive against using it.
Specialization eliminates nearly all overhead of polymorphism so there's no disincentive against using it.