猫的 NonEmptyList 与 scala stdlib ::

Question

我最近正在研究猫图书馆，我遇到了一个叫做NonEmptyList类。

读完api后，我不禁想知道是什么让cats作者创建了一个新类，而不是利用内置的东西（ :: ）并使用类型类来扩展它。 连cats github页面都没有列出，所以才来这里问问。 也许是因为 cons 是List的子类型？ （虽然我不知道它的含义）

::和NEL之间有什么区别？ 为什么 cat 作者必须编写NEL而不是使用:: ？

Answer 1

拥有不从List扩展的NonEmptyList主要原因是开发人员在 API 中包含假设的经验。

首先，请注意::具有List具有的所有方法，这些方法可能会产生误导，并且它使得设计具有更强大假设的更好 API 变得更加困难。 此外， List没有任何直接返回::方法，这意味着开发人员需要手动维护非空抽象。

让我给你看一个例子，它展示了我在实践中的意思：

// NonEmptyList usage is intuitive and types fit together nicely
val nonEmpty: NonEmptyList[Int] = NonEmptyList.of(1, 2, 3)
val biggerNonEmpty: NonEmptyList[Int] = 0 :: nonEmpty
val nonEmptyMapped: NonEmptyList[Int] = nonEmpty.map(_ * 2)

// :: has lots of problems
// PROBLEM: we can't easily instantiate ::
val cons: ::[Int] = 1 :: 2 :: 3 :: Nil // type mismatch; found: List[Int]; required: ::[Int]
val cons: ::[Int] = new ::[Int](1, ::(2, ::(3, Nil)))

// PROBLEM: adding new element to Cons returns List
val biggerCons: ::[Int] = 0 :: cons // type mismatch; found: List[Int]; required: ::[Int]

// PROBLEM: ::.map returns List
val consMapped : ::[Int] = cons.map(_ * 2) // type mismatch; found: List[Int]; required: ::[Int] 

请注意， NonEmptyList具有返回List方法，即filter 、 filterNot和collect 。 为什么？ 因为通过NonEmptyList过滤可能意味着过滤掉所有元素，列表可能会变成空的。

这就是使整个非空抽象如此强大的原因。 通过正确使用函数输入和输出类型，您可以对 API 的假设进行编码。 ::不提供这种抽象。