Tại sao không có loại hàm một phần nào?

Question

Tôi tự hỏi tại sao không tồn tại một chữ cho các loại hàm một phần. Tôi phải viết

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

nơi một nghĩa đen như :=> sẽ ngắn hơn:

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

chức năng từng phần thường được sử dụng và trong Scala đã một số tính năng "đặc biệt", vậy tại sao không có cú pháp đặc biệt cho nó?

Answer 1

Có lẽ một phần vì bạn không cần một chữ: bạn luôn có thể viết riêng :=> của bạn như là một nhà điều hành loại ghi vào nếu bạn muốn cú pháp ngắn gọn hơn:

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 

Tôi không phải là một trong những nhà thiết kế của ngôn ngữ Scala, vì vậy, đây là nhiều hơn hoặc ít hơn một đoán về "tại sao?". Bạn có thể nhận được câu trả lời tốt hơn tại số the scala-debate list, là địa điểm thích hợp hơn cho các câu hỏi về thiết kế ngôn ngữ.