scala - scalaz 中的类型类和继承

Question

这是我第二次尝试定义问题，我无法理解它。

我希望能够定义一个代数类型并在其上定义一个简单的类型类，比如 Show .在haskell中，我这样做:

data Tree a = EmptyTree | Node a deriving (Show)

现在，如果我输入 EmptyTree - haskell 可以显示，所以属于 Show .

现在我试图在 Scala 中做同样的事情:

sealed abstract class Tree[+T]
case object EmptyTree extends Tree[Nothing]
case class Node[T](value: T) extends Tree[T]

然后我定义 Show周围:

implicit def show[T] = Show.showA[Tree[T]]

我可以做 println((EmptyTree : Tree[Int]).show) .但我做不到 println(EmptyTree.show) (回复是 value show is not a member of object EmptyTree )

我必须写额外的:

implicit class MyShowOps[A, +T <: Tree[A]](t: T) {
  def showMy(implicit ev: Show[Tree[A]]): String = ev.shows(t)
}

只有这样我才能做 println(EmptyTree.showMy)
听起来仍然不正确，我相信要么我试图做错事，我不应该申请 Show像那样，应该仅将我的构造用作 Tree[T]或者我错过了 Scalaz 的正确构造。

Answer 1

Scala 的 ADT 表示与 Haskell 的不同之处在于它的构造函数有自己的类型。这部分是关于实际的互操作性——在 JVM 上使用子类型是很自然的——它有 both advantages and disadvantages .

您遇到了一个缺点，即具有静态类型为构造函数类型的值通常会使类型推断和隐式解析复杂化。

类型类实例是静态解析的，在您的情况下特别是 Show不是逆变的，所以是 Tree[T] 的一个实例不是 EmptyTree.type 的实例.从 Scalaz 的角度来看，最惯用的解决方案是提供返回 ADT 类型的智能构造函数:

import scalaz.Show, scalaz.syntax.show._

sealed abstract class Tree[+T]

object Tree {
  private[this] case object EmptyTree extends Tree[Nothing]
  private[this] case class Node[T](value: T) extends Tree[T]

  val emptyTree: Tree[Nothing] = EmptyTree
  def node[T](value: T): Tree[T] = Node(value)

  implicit def show[T]: Show[Tree[T]] = Show.showA[Tree[T]]
}

现在你可以写 Tree.emptyTree.show .

请注意，这个问题也会出现在更简单的上下文中。例如，假设我们想要折叠一个带有 Option 的列表。作为累加器:

scala> List(1, 2, 3).foldLeft(Some(0))((acc, i) => acc.map(_ + i))
<console>:11: error: type mismatch;
 found   : Option[Int]
 required: Some[Int]
       List(1, 2, 3).foldLeft(Some(0))((acc, i) => acc.map(_ + i))
                                                          ^

因为 Some(0) 的推断类型是 Some[Int] ，不是 Option[Int] ，为 foldLeft 推断的类型参数方法对于 map 的结果过于严格.

如果标准库提供 Option.none 就好了和 Option.some像这样的情况下的“构造函数”，但事实并非如此，因此您要么必须在第一个参数上放置类型注释，要么使用类似 Scalaz 的 none 之类的东西。和 some :

scala> import scalaz._, Scalaz._
import scalaz._
import Scalaz._

scala> List(1, 2, 3).foldLeft(some(0))((acc, i) => acc.map(_ + i))
res0: Option[Int] = Some(6)

在您的情况下，您可能控制 ADT 定义，因此您可以自己提供这样的智能构造函数。