Na programação de computadores , a tipagem latente se refere a um sistema de tipos onde os tipos estão associados a valores e não a variáveis . Um exemplo de linguagem digitada latentemente é Scheme . Isso normalmente requer verificação de tipo em tempo de execução e, portanto, é comumente usado como sinônimo de tipagem dinâmica .
