Pode explicar o que são restrições de tipos na programação?

Restrições de tipos (type constraints) na programação são regras que determinam quais tipos de dados podem ser usados em certos contextos, por exemplo, em funções ou classes genéricas.

O objetivo delas é aumentar a segurança do código e prevenir erros, garantindo que as operações sejam aplicáveis aos tipos fornecidos.

Por exemplo, em Swift, é possível restringir um tipo genérico para que ele corresponda a um protocolo específico:

generic func printDescription<T: CustomStringConvertible>(item: T) {
    print(item.description)
}

Aqui, T deve implementar o protocolo CustomStringConvertible, caso contrário, a função não será compilada.

Dessa forma, as restrições de tipos ajudam a criar um código mais universal, porém seguro.