表示無窮大的Num模塊中

Question

在Num模塊，這是說：

號（類型NUM）是任意精度有理數，加上特殊元素1/0（無窮大）和0/0 （不確定）。

我希望找到這個infinity，但找不到它。我猜的話，我可以手動創建它：

let infinity = let one = Int 1 and zero = Int 0 in one // zero 

但流浪漢：

例外：失敗 「create_ratio無限的或不確定的有理數」。

因此，好的，在普及的有這val infinity : float，讓我們來找一個num_from_float。哦，沒有這樣的功能...

那麼，有沒有人知道如何用Num表示正面和負面的無限？

Answer 1

默認情況下，特殊數字被禁用。該行爲可以使用Arith_status模塊進行控制。例如，允許零個分母，使用以下命令：

Arith_status.set_error_when_null_denominator false 

一旦設置了標誌，你的無窮定義正常工作：

let infinity = let one = Int 1 and zero = Int 0 in one // zero;; 
val infinity : Num.num = <num 1/0> 
float_of_num infinity;; 
- : float = infinity