为什么Clojure中的（/1/2）等于2N？

前几天我在Clojure repl里玩的时候遇到了这个

user=> (/ 1/2)
2N

所以我试了一下：

user=> (type (/ 1/2)) 
clojure.lang.BigInt

---

有人知道这里发生了什么吗？

1/2创建了一个

比率

，

/

函数最终调用

（clojure.lang.Numbers/divide 1/2）

。如果你看一下这个定义，它最终会调用

（clojure.lang.Numbers$RatioOps/divide 1 1/2）

。这将

1L

提升为一个比率，执行比率除法，然后将

2/1

的结果简化为

BigInt

2。

注意，a将

分子

和

分母

作为Java

biginger

s。因此，即使可以，后续的反转也不容易简化为

长

。