scala - 为什么没有部分函数类型文字？

Question

我想知道为什么不存在部分函数类型的文字。我必须写

val pf: PartialFunction[Int, String] = {
  case 5 => "five"
}

其中像 :=> 这样的文字会更短:

val pf: Int :=> String = {
  case 5 => "five"
}

部分函数经常被使用并且在 Scala 中已经有一些“特殊”的特性，那么为什么没有特殊的语法呢？

Answer 1

可能部分是因为您不需要文字:您可以随时编写自己的 :=>如果您想要更简洁的语法，作为类型中缀运算符:

scala> type :=>[A, B] = PartialFunction[A, B]
defined type alias $colon$eq$greater

scala> val pf: Int :=> String = { case 5 => "five" }
pf: :=>[Int,String] = <function1>

scala> pf.isDefinedAt(0)
res0: Boolean = false

scala> pf.isDefinedAt(5)
res1: Boolean = true

不过，我不是 Scala 语言的设计者之一，所以这或多或少是对“为什么？”的猜测。您可能会在 the scala-debate list 得到更好的答案。 ，这是一个更适合语言设计问题的场所。