Scala 3如何编写柯里化多态函数及高种类类型？遇实现限制报错

这不是你的写法错误，而是Scala 3当前的实现限制——你尝试定义的这种高阶多态函数（接受类型参数后返回另一个多态函数），目前还没被完全支持。

为什么第一个写法没问题？ #

你写的第一个多态函数属于一级多态，接受类型参数后返回普通的带值参数的函数，完全符合Scala 3当前对多态函数字面量的支持范围：

val y = [C <: Int] => (x: C) => x * 2

第二个写法触发限制的原因 #

第二个函数是高阶多态结构：外层多态函数返回的是另一个多态函数字面量，而当前Scala 3的多态函数字面量有强制要求——必须包含值参数，不能直接返回无值参数的多态函数定义，这就是报错信息Implementation restriction: polymorphic function literals must have a value parameter的含义。

替代实现方案 #

如果需要类似的功能，可以通过定义多态特质来模拟：

trait PolyMul[C <: Int] {
  def apply[D <: Int](x: C, y: D): Int = x * y
}

val z = [C <: Int] => new PolyMul[C] {}
// 使用示例：z[3].apply[5](3, 5) // 输出15

内容的提问来源于stack exchange，提问作者tribbloid