5
Existe algum caso de uso para o tipo inferior como um tipo de parâmetro de função?
Se uma função tiver o tipo de retorno ⊥ ( tipo inferior ), isso significa que nunca retorna. Pode, por exemplo, sair ou jogar, ambas as situações bastante comuns. Presumivelmente, se uma função tivesse um parâmetro do tipo ⊥ nunca poderia (com segurança) ser chamada. Existe alguma razão para definir …