scalaz 中的类型类和继承
Typeclasses and inheritance in scalaz
这是我第二次尝试定义问题,我无法理解它。
我希望能够定义一个代数类型并在其上定义一个简单的类型类,比方说 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 的正确构造。
Scala 的 ADT 表示与 Haskell 的不同之处在于它的构造函数有自己的类型。这在一定程度上是关于实际的互操作性——在 JVM 上使用子类型是很自然的——而且它有 both advantages and disadvantages。
您 运行 陷入其中一个缺点,即具有静态类型化为构造函数类型的值通常会使类型推断和隐式解析复杂化。
类型 class 实例是静态解析的,在您的情况下 Show
不是逆变的,因此 Tree[T]
的实例不是 [=15= 的实例].从 Scalaz 的角度来看,最惯用的解决方案是提供 return 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
"constructors" 就好了,但它没有,所以你要么必须添加类型注释在第一个参数上或使用类似 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 定义,因此您可以自己提供这样的智能构造函数。
这是我第二次尝试定义问题,我无法理解它。
我希望能够定义一个代数类型并在其上定义一个简单的类型类,比方说 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 的正确构造。
Scala 的 ADT 表示与 Haskell 的不同之处在于它的构造函数有自己的类型。这在一定程度上是关于实际的互操作性——在 JVM 上使用子类型是很自然的——而且它有 both advantages and disadvantages。
您 运行 陷入其中一个缺点,即具有静态类型化为构造函数类型的值通常会使类型推断和隐式解析复杂化。
类型 class 实例是静态解析的,在您的情况下 Show
不是逆变的,因此 Tree[T]
的实例不是 [=15= 的实例].从 Scalaz 的角度来看,最惯用的解决方案是提供 return 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
"constructors" 就好了,但它没有,所以你要么必须添加类型注释在第一个参数上或使用类似 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 定义,因此您可以自己提供这样的智能构造函数。