Funciones genéricas sobre traits

El verdadero poder de los traits es el código genérico: escriba una función una sola vez y funcionará con cualquier tipo conforme. 🚀

Use un trait como restricción de un parámetro genérico para indicar que el tipo tiene los métodos que usted invoca.

Dentro de los corchetes, indique un parámetro de tipo y el trait que debe satisfacer; después, úselo como cualquier tipo.

Dentro de la función puede llamar a cualquier método que garantice el trait. El compilador sabe que greet existe en T.

Puede pasar un Dog o un Robot a la misma función. Ambos se ajustan a Greetable, por lo que los dos se aceptan sin problemas.

Los genéricos no son imprecisos. Si un tipo no satisface la restricción, el compilador lo rechaza antes de ejecutar el programa.

Mojo especializa el código genérico en tiempo de compilación y genera una versión rápida para cada tipo. La flexibilidad no cuesta velocidad.

Sin genéricos, tendría que copiar una función para cada tipo. Una restricción basada en un trait permite que una sola definición sirva para todos y reduce la duplicación.

Un parámetro puede exigir varios traits a la vez para garantizar que el tipo tenga todas las capacidades que necesita la función.

Las buenas API de Mojo solicitan el trait más pequeño que necesitan. Las funciones siguen siendo flexibles y expresan requisitos precisos.

Trait, conformidad y genéricos se combinan: defina un contrato, impleméntelo y escriba después una función reutilizable basada en él.

Las funciones genéricas con una restricción basada en un trait funcionan con todos los tipos conformes, manteniendo la seguridad de tipos y la velocidad. ¡Ya puede escribir código Mojo reutilizable! 🎉