5
Czy istnieje jakikolwiek przypadek użycia typu dolnego jako typu parametru funkcji?
Jeśli funkcja ma typ zwracany ⊥ ( typ dolny ), oznacza to, że nigdy nie zwraca. Może na przykład wyjść lub rzucić, obie dość zwyczajne sytuacje. Przypuszczalnie jeśli funkcja miała parametr typu ⊥, nigdy nie mogłaby (bezpiecznie) zostać wywołana. Czy są kiedykolwiek jakieś powody, by zdefiniować taką funkcję?