स्कैला प्रकार एलियासिंग प्रकार संगतता

Question

तोड़ता है मैं हमेशा मानता हूं कि टाइप किए गए उपनाम हमेशा आवश्यक होने पर उनके मूल प्रकार में विस्तारित होते हैं। लेकिन, यहां एक उपद्रवी

def a[P](a: Option[P]) = { 
    type Res = List[P] // result type alias 
    Nil: Res // Replace this line with Nil: List[P] to clear the error 
} 
def b[V](v: V) = a(Some(v)): List[V] 

इसके साथ (scastie)

error: type mismatch; 
found : Res (which expands to) List[P] 
required: List[V] 

आप देखते हैं कि aOption[P] => List[P] धर्मान्तरित और b आपूर्ति Some[V], a धर्मान्तरित Option[V] => List[V] जब b यह कहता है के बाद से, विफल रहता है। लेकिन, कंपाइलर का कहना है कि परिणाम List[V] के साथ असंगत है। यह कैसे संभव है? त्रुटि) में Nil: List[P] के साथ Nil: Res को प्रतिस्थापित करती है (scastie)। त्रुटि से छुटकारा पाने के लिए आपको टाइप उपनाम को खत्म करने की आवश्यकता है। इसका मतलब है कि प्रकार उपनाम अपराधी है।

Answer 1

मुझे लगभग निश्चित है कि यह एक कंपाइलर बग है। स्कैला में टाइप उपनाम स्वचालित रूप से विस्तारित होने चाहिए, और ऐसा लगता है कि इस मामले में a का प्रकार [P](Option[P]) => List[P] के बजाय [P](Option[P]) => Res के रूप में अनुमानित है। और चूंकि Res एक आंतरिक दायरे में है, इसलिए संकलक इसे b के प्रकार का अनुमान लगाने के लिए नहीं ढूंढ सकता है।