咖喱类型“不带类型参数”

编程问答 2022-06-08

问题描述

我想创建一个可以用来验证元组是否同质的类型。我写了这个，应该确保T的所有元素都等于X（Scastie）：

type Homogenous[X] = [T <: Tuple] =>> T match {
  case EmptyTuple => DummyImplicit
  case X *: t => Homogenous[X][t] //Doesn't work
  case _ => Nothing
}

def f[T <: Tuple : Homogenous[String]](t: T) = ???

无论出于何种原因，第三行都不会编译，并显示以下错误：

均质[X]不使用类型参数

但是，如果我使Homogenous接受2个参数，它将编译，但我不能再使用上下文绑定（Scastie）。

type Homogenous[X,T <: Tuple] = T match {
  case EmptyTuple => DummyImplicit
  case X *: t => Homogenous[X,t]
  case _ => Nothing
}

我不明白为什么会这样。似乎lambda [T] =>>只是从匹配类型的特定情况下返回而已，因此编译器应意识到Homogenous[X]始终采用参数。这是错误还是我做错了什么？是否有修复程序/解决方法？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

dottyscalascala-3types