हास्केल- (घोषणा का प्रकार) "ए" क्या है?

Question

यह शायद एक बहुत ही बुनियादी सवाल है, लेकिन, फिर भी, ऐसा लगता है कि यह SO पर शामिल नहीं है।

मैं हाल ही में हास्केल लिया और अब तक टाइप घोषणाओं शामिल ज्यादातर निम्नलिखित:

Int 
Bool 
Float 
etc, etc 

अब मैं सूचियों में हो रही है और मैं इस तरह के निम्नलिखित समारोह में के रूप में प्रकार घोषणाओं कि a उपयोग करते हैं, देख रहा हूँ कि एक साहचर्य सूची के माध्यम से दोहराता:

contains :: Int -> [(Int,a)] -> [a] 
contains x list = [values | (key,values)<-list, x==key] 

कोई क्या इस a है के रूप में एक विवरण प्रदान कर सकते हैं, और यह कैसे काम करता है? अवलोकन से यह हर प्रकार का प्रतिनिधित्व करता प्रतीत होता है। क्या इसका मतलब है कि मैं किसी भी प्रकार की किसी भी सूची को पैरामीटर के रूप में इनपुट कर सकता हूं?

Answer 1

हां, आप सही हैं, यह "किसी भी प्रकार" का प्रतिनिधित्व करता है - प्रतिबंध यह है कि किसी दिए गए प्रकार के हस्ताक्षर में सभी a एस उसी प्रकार को हल करना चाहिए। तो आप किसी भी प्रकार की सूची इनपुट कर सकते हैं, लेकिन जब आप सूची में मूल्य देखने के लिए contains का उपयोग करते हैं, तो आपके द्वारा देखे जाने वाले मान को सूची के तत्वों के समान ही होना चाहिए - जो निश्चित रूप से समझ में आता है।

Answer 2

हास्केल में, अपरकेस प्रकार ठोस प्रकार (Int, Bool) या प्रकार कंस्ट्रक्टर्स (Maybe, Either), जबकि लोअरकेस प्रकार प्रकार चर कर रहे हैं। एक समारोह सभी प्रकार के चर का उपयोग करता है में परोक्ष सामान्य है, इसलिए इस:

contains :: forall a. Int -> [(Int, a)] -> [a] 

सी ++ में, forall वर्तनी है template:

template<typename a> 
list<a> contains(int, list<pair<int, a>>); 

contains :: Int -> [(Int, a)] -> [a] 

इस * के लिए आशुलिपि है

जावा और सी # में, यह कोण ब्रैकेट के साथ वर्तनी है:

list<a> contains<a>(int, list<pair<int, a>>); 

बेशक, इन भाषाओं में, सामान्य प्रकार चर अक्सर कहा जाता है T, U, V, जबकि हास्केल में वे अक्सर a, b, c कहा जाता है। यह सिर्फ सम्मेलन का एक अंतर है।

* यह वाक्यविन्यास जीएचसी में -XExplicitForAll ध्वज के साथ-साथ अन्य एक्सटेंशन द्वारा भी सक्षम है।