8
Existe uma razão para ter um tipo inferior em uma linguagem de programação?
Um tipo inferior é um construto que aparece principalmente na teoria matemática dos tipos. Também é chamado de tipo vazio. É um tipo que não tem valores, mas é um subtipo de todos os tipos. Se o tipo de retorno de uma função é o tipo inferior, isso significa que …