scalaz.Ordering這種情況的用途是什麼？

Question

閱讀http://eed3si9n.com/learning-scalaz/Order.html這個例子說明：

scala> 1.0 ?|? 2.0 
res10: scalaz.Ordering = LT 

所有這一切都關於訂購說明是：

「

scala> 1 > 2.0 
res8: Boolean = false 

scala> 1 gt 2.0 
<console>:14: error: could not find implicit value for parameter F0: scalaz.Order[Any] 
       1 gt 2.0 
      ^

scala> 1.0 ?|? 2.0 
res10: scalaz.Ordering = LT 

scala> 1.0 max 2.0 
res11: Double = 2.0 

Order enables ?|? syntax which returns Ordering: LT, GT, and EQ. It also enables lt, gt, lte, gte, min, and max operators by declaring order method. Similar to Equal, comparing Int and Doubl fails compilation. 

」

什麼是scalaz的意義。在這種情況下訂購？

1.0 max 2.0是否使用標準的Scala API max方法並且不涉及scalaz？

Answer 1

斯卡拉茲does provide this syntax與Order實例的東西。在這種情況下，1.0 max 2.0將使用標準庫中的max，因爲它更具體（因爲您可以通過REPL中的:power啓動電源模式，然後輸入諸如settings.processArgumentString("-print typer")之類的內容來快速確認）。

在這種情況下，一個更好的示例將類似some(2.0) max some(1.0)，因爲標準庫不會提供max，因爲Option[Double]會隱藏Scalaz's。

Answer 2

Tom Switzer puts it concisely in a related thread：

，而不是返回從Order#compare的Int的，scalaz返回 scalaz.Ordering。