Neden kısmi işlev türü değişmez?

Question

Kısmi işlev türleri için neden bir neden bulunmadığını merak ediyorum. Ben

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

nerede literal :=> gibi bir kısa olacağını yazmak zorunda:

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

Kısmi fonksiyonlar sıklıkla kullanılan ve bazı "özel" özelliği zaten Scala'da, bu nedenle bunun için neden özel bir sözdizimi?

Answer 1

Muhtemelen kısmen Eğer bir hazır gerekmediğinden:

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 

Ben tasarımcılarından biri değilim: daha kısa sözdizimi isterseniz her zaman bir tür infix operatörü olarak kendi :=> yazabilir Ancak, Scala dilinin, bu yüzden "neden?" hakkında az ya da çok bir tahmin. Dil tasarım soruları için daha uygun bir mekan olan the scala-debate list adresinden daha iyi cevaplar alabilirsiniz.