5
¿Hay algún caso de uso para el tipo inferior como un tipo de parámetro de función?
Si una función tiene un tipo de retorno de ⊥ ( tipo inferior ), eso significa que nunca regresa. Puede, por ejemplo, salir o lanzar, ambas situaciones bastante comunes. Presumiblemente, si una función tuviera un parámetro de tipo ⊥, nunca podría llamarse (con seguridad). ¿Hay alguna razón para definir tal …