Funções genéricas sobre traits

O verdadeiro poder dos traços está no código genérico: escreva uma função uma vez e ela funcionará para todo tipo em conformidade. 🚀

Você usa um traço como limite em um parâmetro genérico, garantindo que o tipo tenha os métodos que você chama.

Dentro de colchetes, você nomeia um parâmetro de tipo e o traço que ele precisa satisfazer; depois, usa-o como qualquer tipo.

Dentro da função, você pode chamar qualquer método garantido pelo traço. O compilador sabe que greet existe em T.

Passe um Dog ou um robô para a mesma função. Ambos estão em conformidade com Greetable, portanto os dois são aceitos sem dificuldade.

Os genéricos não são permissivos. Se um tipo não satisfizer o limite, o compilador o recusará antes de o programa ser executado.

O Mojo especializa o código genérico em tempo de compilação, gerando uma versão rápida para cada tipo. A flexibilidade não custa velocidade.

Sem genéricos, você teria de copiar uma função para cada tipo. Um limite de traço permite que uma definição atenda a todos, reduzindo a duplicação.

Um parâmetro pode exigir vários traços ao mesmo tempo, garantindo que o tipo tenha todas as capacidades de que a função precisa.

Boas APIs do Mojo solicitam o menor traço de que precisam. As funções permanecem flexíveis e, ao mesmo tempo, expressam requisitos exatos.

Traço, conformidade e genéricos se combinam: defina um contrato, implemente-o e depois escreva uma função reutilizável sobre ele.

Funções genéricas com um limite de traço funcionam com todos os tipos em conformidade, mantendo segurança de tipos e velocidade. Agora você escreve Mojo reutilizável! 🎉