5
Apakah ada use case untuk tipe bawah sebagai tipe parameter fungsi?
Jika suatu fungsi memiliki tipe pengembalian ⊥ ( tipe bawah ), itu artinya ia tidak pernah kembali. Misalnya dapat keluar atau melempar, keduanya situasi yang cukup biasa. Agaknya jika suatu fungsi memiliki parameter tipe ⊥ itu tidak akan pernah bisa (dengan aman) dipanggil. Apakah ada alasan untuk mendefinisikan fungsi seperti …