5
Alt parametre için fonksiyon parametre tipi olarak kullanım durumu var mı?
Bir fonksiyonun dönüş tipi ⊥ ( alt tip ) ise, bu asla geri dönmeyeceği anlamına gelir. Örneğin, her ikisi de oldukça sıradan durumlardan çıkabilir veya fırlayabilir. Bir işlevin type türünde bir parametresi varsa, muhtemelen (güvenli bir şekilde) çağrılamaz. Böyle bir işlevi tanımlamak için herhangi bir neden var mı?