Scalaz === on some

Question

难以理解scalaz中===的行为

1. scala> 1.some === Some(1)
   res33: Boolean = true

2. scala> Some(1) === 1.some
   <console>:14: error: value === is not a member of Some[Int]
              Some(1) === 1.some
                      ^

3. scala> (Some(1):Option[Int]) === 1.some
   res35: Boolean = true

我可以理解（1）并且我希望偶数（2）给出相同的结果。

在（3）中，我必须将Some转换为Option以获得结果。

我查看了scalaz的源代码，但无法得到它。

请解释。

Scalaz版本= 7.1.0

Scala版本= 2.11.2

Answer 1

Some(1)返回Some[Int]而不是Option[Int] ; .some是返回Option[Int]而不是与scalaz样式更兼容。 Scalaz是针对非子类型的基于ADT的编程风格编写的，大多数scalaz类型类很少支持子类型（特别是它们通常是不变的;通常这会改善类型推断，并且当用户出错时意味着更好的错误消息，但是支持亚型的成本较低）。 如果你正在大量使用scalaz，你可能会发现最容易使用像.some一样的.some风格的“智能构造函数”。