स्काला ~> (एक से अधिक टिल्ड) ऑपरेटर

Question

मैं निम्नलिखित स्केला वर्ग परिभाषा (एक समाचार पत्र में पाया जाता है), श्रेणियों मॉडलिंग है:

trait Category[~>[_, _]] { 
    def compose[A, B, C] 
    (f: B ~> C) 
    (g: A ~> B) 
    : A ~> C 
    def id[A]: A ~> A 
} 

कोई मुझे समझा सकता है क्या '~>' श्रेणी में इसका मतलब है प्रकार पैरामीटर, और तरीकों में वापसी प्रकार? या मुझे एक संसाधन है कि यह बताता करने के लिए प्रत्यक्ष ... मैं स्काला (जावा से आ रहा है) के लिए नया हूँ, इसलिए मुझे माफ कर दो कि अगर कुछ एक स्केला उपयोगकर्ता पता होना चाहिए है ... अग्रिम धन्यवाद

Answer 1

~>Category के प्रकार-पैरामीटर के लिए प्लेसहोल्डर-नाम है। में T की तरह।

इसके अतिरिक्त, स्कैला वाक्यविन्यास आपको के लिए शॉर्टेंड के रूप में B ~> C लिखने की अनुमति देता है।

हो सकता है कि बातें, साफ मिलता है यदि आप इसका नाम बदलना:

trait Category[Mapping[_, _]] { 
    def compose[A, B, C](f: Mapping[B, C])(g: Mapping[A, B]): Mapping[A, C] 
    def id[A]: Mapping[A, A] 
}