Determinado grupo de pesquisa de uma universidade, no processo de criação de uma linguagem de programação, estabelece que erros de tipo sempre devem ser detectados.

Essa é uma característica conhecida como