अक्सर स्कैला साहित्य में, मुझे "अमूर्त ओवर" वाक्यांश मिलता है, लेकिन मुझे इरादा समझ में नहीं आता है। For example, मार्टिन ओडर्स्की लिखते"अमूर्त ओवर" का क्या अर्थ है?
आप पैरामीटर के रूप में तरीकों (या "कार्यों") पारित कर सकते हैं, या आप से अधिक सार कर सकते हैं उन्हें। आप पैरामीटर के रूप में प्रकार निर्दिष्ट कर सकते हैं, या आप पर अमूर्त कर सकते हैं।
एक और उदाहरण के रूप में, "Deprecating the Observer Pattern" अखबार में,
एक परिणाम यह हमारे इवेंट स्ट्रीम से किया जा रहा है प्रथम श्रेणी के मानों हम कर सकते हैं उन्हें से अधिक सार है।
मैंने पहले ऑर्डर जेनेरिक "अमूर्त प्रकारों" पर पढ़ा है, जबकि मोनैड "टाइप ओवर कंस्ट्रक्टर" हैं। और हम Cake Pattern paper में इस तरह के वाक्यांश भी देखते हैं। इस तरह के कई उदाहरणों में से एक के शब्दों में:
सार प्रकार सदस्यों घटकों के सार से अधिक ठोस प्रकार के लिए लचीला तरीका प्रदान करते हैं।
यहां तक कि प्रासंगिक स्टैक ओवरफ़्लो प्रश्न इस शब्दावली का उपयोग करते हैं। "can't existentially abstract over parameterized type..."
तो ... वास्तव में "अमूर्त ओवर" का क्या अर्थ है?