Scala是否支持类型构造器部分应用？高阶类型与类型孔相关问询

嘿，我来帮你理清这两个在学习Cats时遇到的Scala类型系统问题：

答案是支持，但不同版本有不同的实现方式：

• 在Scala 2中，原生语法不支持直接的类型构造器部分应用，但我们可以通过类型别名或者借助kind-projector插件来实现。比如对于二元类型构造器Either[A, B]，如果想固定第一个参数为String，得到一个只接受第二个参数的一元构造器，Scala 2里可以这么写：

  // 类型别名方式
  type StringEither[B] = Either[String, B]
  // 借助kind-projector插件的简化写法
  Functor[Either[String, ?]]
  

• 到了Scala 3（也就是你提到的Dotty），原生就支持用*作为占位符来实现部分应用，比如上面的场景可以直接写成Functor[Either[String, *]]，非常直观，这在Cats这类依赖高阶类型的库中用起来特别顺手。

首先得明确：Scala 2确实没有原生支持完整的类型孔特性，而Scala 3是完全支持的。

为什么Scala 2不支持？ #

主要源于早期Scala类型系统的设计取舍：

• 类型孔本质是让编译器自动推导某个位置的类型，这会大幅增加类型推断的复杂度。Scala 2的类型推断引擎在设计时没有预留这种灵活的占位符逻辑，以此避免引入更多歧义推断问题。
• 虽然Scala 2里有_作为通配符，但它更多用于存在类型（比如List[_]）或者模式匹配，不能作为通用的类型孔让编译器推导具体类型（比如你不能写val x: _ = 42让Scala 2推断出Int）。

Dotty（Scala 3）是否支持？ #

当然支持！Scala 3不仅原生支持类型孔，还做了很多优化：

• 你可以用_作为类型占位符，让编译器自动推导类型，比如：

  val x: _ = 42 // 编译器会推断x的类型为Int
  def getFirst[A](list: List[A]): _ = list.head // 返回类型会被推断为A
  

• 另外，Scala 3里的?也可以作为类型孔使用，比如在上下文绑定、类型构造器部分应用等场景中，和_配合使用能让高阶类型的代码更简洁。

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