`([] ==) []` अनुमानित हैकेल का प्रकार कैसा है?

Question

यह मूर्खतापूर्ण लगता है, लेकिन मुझे यह नहीं मिल रहा है। अभिव्यक्ति [] == [] क्यों टाइप की जा सकती है? अधिक विशेष रूप से, किस प्रकार (कक्षा ईक में) सूची तत्वों के प्रकार से अनुमानित है?

Prelude> :t (==[]) 
(==[]) :: (Eq [a]) => [a] -> Bool 

लेकिन बाधा Eq [a] भी Eq a का तात्पर्य, के रूप में यहाँ दिखाया गया है:

Prelude> (==[]) ([]::[IO()]) 

<interactive>:1:1: 
No instance for (Eq (IO())) 
    arising from use of `==' at <interactive>:1:1-2 
Probable fix: add an instance declaration for (Eq (IO())) 
In the definition of `it': it = (== []) ([] :: [IO()]) 

इस प्रकार [] == [] में,

एक GHCi सत्र में, मैं निम्न देखें , टाइप चेकर को यह मानना ​​चाहिए कि सूची तत्व कुछ प्रकार है जो क्लास ईक में है। पर कौनसा? [] का प्रकार सिर्फ [ए] है, और यह निश्चित रूप से ईक ए => [ए] से अधिक सामान्य है।

IMHO इस करना चाहिए अस्पष्ट, कम से कम हास्केल 98 (जो कि हम क्या बात कर रहे हैं)

Answer 1

GHCi है जो आप ऊपर फिसल गया extended rules for type defaulting, है। इस मामले में, मेरा मानना ​​है कि यह संदिग्ध प्रकार को () पर डिफ़ॉल्ट करेगा। सूक्ष्म तरीके कि GHCi बर्ताव करता है अलग ढंग से बेहतर अन्तरक्रियाशीलता के लिए अच्छा है, लेकिन वे कभी-कभी भ्रम की स्थिति में परिणाम है ...

GHC (नहीं GHCi) के साथ

Answer 2

GHC सबसे सामान्य प्रकार infers में से:

(== []) :: (- Eq क) => [एक]> बूल

यह रूप में पढ़ा जाना चाहिए:

• अगर आप Eq एक का एक उदाहरण है,
• तो हास्केल आप उन लोगों की सूची से एक समारोह दे सकते हैं 'एक तो हाँ, निहितार्थ यहाँ आप सूची के तत्वों के लिए समीकरण का एक उदाहरण है, और GHC पहले से ही एक उदाहरण है कि bool करने के लिए

है सामान्य रूप से सूचियों के लिए (तत्वों के लिए ईक पर निर्भर), इसलिए हमें एक अच्छा सामान्य प्रकार मिलता है।

प्रकार चेकर "मान लिया गया है" आप एक समीकरण एक उदाहरण है जब एक विशेष प्रकार पर कहा जाता है की आपूर्ति कर सकते हैं।

मैं एक Eq [a] बाधा होने के अपने परिणामों को पुन: पेश नहीं कर सकते।