¿Qué principio de programación garantiza el uso de genéricos?