"जेनेरिक" और "उच्च-आदेश प्रकार" के बीच संबंध क्या है?

Question

इस प्रश्न से: What is a higher kinded type in Scala?, मैं समझता हूं कि higher-order types (first-order type और proper type) क्या है।

लेकिन अभी भी एक प्रश्न है: generics और "उच्च-आदेश प्रकार" के बीच संबंध क्या है?

मुझे पता है कि जावा generics का समर्थन करता है, जो स्केल में first-order प्रकार की तरह है।

इनमें से कौन सा सही है?

1. स्काला में, केवल first-order typegenerics
2. स्काला, first-order में और higher-order प्रकार दोनों हैं generics
3. जावा में से संबंधित हैं, generics सिर्फ मतलब first-order प्रकार, इसे पूरा
4. generics है नहीं है एक सामान्य शब्द का अर्थ है कि हम प्रकारों पर "अमूर्त" कर सकते हैं, कोई फर्क नहीं पड़ता कि first-order या higher-order

Answer 1

मैं कहूंगा (1.) गलत है। मुझे यकीन नहीं है (3.) क्योंकि मैं जावा से संबंधित अभ्यास से थोड़ा सा हूं। लेकिन मैं कहूंगा (4.) बहुत सटीक है और कुछ हद तक समान है (2.)।

जहाँ तक मुझे पता है, जेनेरिक शब्द केवल पैरामीटर के उपयोग को संदर्भित करता है। यह प्रथम क्रम और उच्च-आदेश प्रकार या फ़ंक्शंस दोनों पर लागू होता है।

Offtopic (और कुछ हद nerdish): किसी और में (2.)

विंग कमांडर करने के लिए एक छिपा हुआ संदर्भ देखें करता है