泛型 – 类型构造函数的Scala类型推断

假设我定义了Tree：

sealed trait Tree[C[_],A]
 case class Leaf[C[_],A](a: A) extends Tree[C,A]
 case class Node[C[_],A](a: A,c: C[Tree[C,A]]) extends Tree[C,A]

并根据我的Tree定义定义了一个BinaryTree：

type Pair[A] = (A,A)
 type BinaryTree[A] = Tree[Pair,A]

我现在可以定义一个BinaryTree整数：

val tree: BinaryTree[Int] = Node[Pair,Int](1,(Leaf(2),Leaf(3)))

这个问题是每当我实例化Node时我都必须提供类型参数.

所以如果这样做：

val tree: BinaryTree[Int] = Node(1,Leaf(3)))

我收到错误：

error: no type parameters for method apply: (a: A,A]])Node[C,A] in 
object Node exist so that it can be applied to arguments (Int,(Leaf[Pair,Int],Leaf[Pair,Int]))
 --- because ---
 argument expression's type is not compatible with formal parameter type;
 found   : (Leaf[Pair,Int])
 required: ?C[Tree[?C,?A]]
   val tree: BinaryTree[Int] = Node(1,Leaf(3)))
                               ^

有什么方法可以强制类型检查器,这样我就不必明确提供Node类型了吗？

谢谢！

修改后的didierd的评论

如果我理解正确,声明

type Pair[A] = (A,A)

在我的原始问题不起作用,因为这个Pair声明只是一个Tuple2类型构造函数的语法糖(需要两个类型参数).这会导致类型推断器失败.

如果我声明我自己的Pair类(正如didierd在他的回答中所暗示的那样),我成功地使树正常工作.

// Assume same Tree/Leaf/Node definition given above
case class MyPair[A](_1: A,_2: A)
type BinaryTree[A] = Tree[MyPair,A]

然后我可以这样做……

scala> val t: BinaryTree[Int] = Leaf(3)
t: BinaryTree[Int] = Leaf(3)

scala> val t2: BinaryTree[Int] = Node(1,MyPair(Leaf(2),Leaf(3)))
t2: BinaryTree[Int] = Node(1,Leaf(3)))

我知道didierd顺便提到了这个解决方案,但这似乎表达了我想要的方式.请让我知道你在想什么！