कोई आंशिक फ़ंक्शन प्रकार शाब्दिक क्यों नहीं है?

Question

मुझे आश्चर्य है कि आंशिक फ़ंक्शन प्रकारों के लिए शाब्दिक क्यों नहीं है। मैं लिखने के लिए

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

जहां :=> तरह शाब्दिक एक कम हो जाएगा:

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

आंशिक कार्यों अक्सर इस्तेमाल किया जाता है और कुछ "विशेष" सुविधा स्काला में पहले से ही कर रहे हैं, तो इसके लिए क्यों कोई विशेष वाक्य रचना?

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 

मैं डिजाइनरों में से एक नहीं कर रहा हूँ स्कैला भाषा का, हालांकि, यह "क्यों?" के बारे में अनुमान लगाया गया है। आपको the scala-debate list पर बेहतर उत्तर मिल सकते हैं, जो भाषा डिजाइन प्रश्नों के लिए एक अधिक उपयुक्त स्थान है।