Olá pessoal!
O esforço computacional aumenta ao utilizar inferencia de tipos? De início, sem fazer nenhum teste ou medir algo, penso que ao dizer o tipo de dado a gente não exige que o compilador "descubra" qual é o tipo do dado. Pelo contrário, como o compilador precisa descobrir o tipo de dados, fiquei pensando se o uso da inferencia de tipos poderia aumentar o tempo de execução de alguns programas.
Faz sentido isso que pensei?
Desde já, obrigado e grande abraço!!