Dlaczego żaden typ funkcji częściowej nie jest dosłowny?

Question

Zastanawiam się, dlaczego nie istnieje literał dla częściowych typów funkcji. Muszę napisać

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

gdzie dosłowne jak :=> byłby krótszy:

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

cząstkowe funkcje są często wykorzystywane w Scala już jakiś „szczególny” cecha, więc dlaczego żadna specjalna składnia dla niego?

Answer 1

Zapewne po części dlatego, że nie trzeba dosłownym: zawsze można napisać własny :=> jako operatora typ Infix jeśli chcesz bardziej zwięzłej składni:

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 

Nie jestem jednym z projektantów języka Scala, więc jest to mniej więcej domysły na temat "dlaczego?". Możesz uzyskać lepsze odpowiedzi pod adresem the scala-debate list, które jest bardziej odpowiednim miejscem na pytania dotyczące projektowania języka.