5
Чи є випадок використання нижнього типу як типу функціонального параметра?
Якщо функція має тип повернення ⊥ ( нижній тип ), це означає, що вона ніколи не повертається. Наприклад, він може вийти або викинути обидві досить звичайні ситуації. Імовірно, якщо функція мала параметр типу ⊥, її ніколи не можна (безпечно) викликати. Чи існують якісь причини для визначення такої функції?