अनुमति दें विशिष्ट प्रकार और इस "अंतिम" उदाहरण में इसकी आवश्यकता क्यों है?

Question

कोड

{-# LANGUAGE ScopedTypeVariables, TypeApplications #-} 

-- I know this particular example is silly. 
-- But that's not the point here. 
g :: forall a . RealFloat a => Bool 
g = True 

main :: IO() 
main = print (g @Double) 

त्रुटि

• Could not deduce (RealFloat a0) 
     from the context: RealFloat a 
     bound by the type signature for: 
        g :: RealFloat a => Bool 
     at app/Main.hs:3:6-35 
     The type variable ‘a0’ is ambiguous 
    • In the ambiguity check for ‘g’ 
     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes 
     In the type signature: 
     g :: forall a. RealFloat a => Bool 

साथ GHC 8.0 पर संकलित करने के लिए तो AllowAmbiguousTypes जोड़ने कोड संकलन कर देगा विफल रहता है।

यहाँ मेरी प्रश्न हैं:

• वास्तव में क्या AllowAmbiguousTypes है?
• इस विशेष कोड को काम करने के लिए इसकी आवश्यकता क्यों है?
• मुझे डर है कि AllowAmbiguousTypes जोड़ना मुझे इस विशेष कोड में वास्तव में चाहते हैं। यह डरावना लगता है। ऐसा लगता है जैसे यह हास्केल की टाइप सिस्टम को कम सुरक्षित बनाएगा, शायद अन्य क्षेत्रों में जिनके पास इस विशेष कोड से कोई लेना देना नहीं है। क्या ये भय निराधार हैं?
• क्या कोई विकल्प हैं? इस मामले में, ऐसा लगता है जैसे हास्केल a0 टाइप वैरिएबल डालने वाला है जिसे मैंने कभी नहीं पूछा था। क्या इन असाधारण प्रकार चर बनाने के लिए हास्केल को बताने के लिए कोई विस्तार नहीं है - और केवल उन लोगों का उपयोग करें जिन्हें मैंने स्पष्ट रूप से अपने स्वयं के स्पष्ट forall a के साथ जोड़ने के लिए कहा था?
• user2407038 की टिप्पणी के कारण एक प्रश्न जोड़ा गया: क्या आप कहेंगे कि AllowAmbiguousTypes एक गलत नाम है? क्या इसे बेहतर AllowUnusedTypeVariables के रूप में नामित किया गया होगा?

Answer 1

AllowAmbiguousTypes क्या है?

latest GHC docs से, "एक प्रकार ty अस्पष्ट है यदि और केवल यदि ((undefined :: ty) :: ty) typecheck करने में विफल रहते हैं"। एक्सटेंशन AllowAmbiguousTypes बस इस चेक को अक्षम करता है - यह बीमार टाइप किए गए प्रोग्रामों को अनुमति नहीं देगा।

इस विशेष कोड को काम करने के लिए इसकी आवश्यकता क्यों है?

आदेश RealFloat a संतुष्ट है कि जब भी g प्रयोग किया जाता है की जाँच करने के लिए, GHC को पता है कि a है की जरूरत है। जीएचसी को बताने के लिए आपके पास रास्ता नहीं है (वेनिला हास्केल) aag के प्रकार में कहीं और नहीं होना चाहिए। एनोटेशन की कोई भी राशि आपको अस्पष्ट प्रकार परिवर्तनीय त्रुटि प्राप्त किए बिना g का उपयोग करने देगी।

हालांकि, अगर आप कहीं भी नहीं उपयोगg करते हैं, आप अभी भी अपने कोड AllowAmbiguousTypes को चालू करके संकलित करने के लिए मिल सकता है।

मुझे डर है कि AllowAmbiguousTypes जोड़कर मुझे इस विशेष कोड में वास्तव में और अधिक चाहिए। यह डरावना लगता है। ऐसा लगता है जैसे यह हास्केल की टाइप सिस्टम को कम सुरक्षित बनाएगा, शायद अन्य क्षेत्रों में जिनके पास इस विशेष कोड से कोई लेना देना नहीं है। क्या ये भय निराधार हैं?

हाँ वे हैं: अस्पष्टता की जांच आप परिभाषाएँ जो (वेनिला हास्केल, जो TypeApplications नहीं है में) एक अस्पष्ट प्रकार चर त्रुटि में परिणाम के बिना नहीं किया जा सकता है को पकड़ने की सुविधा देता है। इस चेक को अक्षम करने का मतलब है कि जब आप अपनी परिभाषा साइट के बजाय अभिव्यक्ति (या फ़ंक्शन) का उपयोग करते हैं तो आप संदिग्ध प्रकार परिवर्तनीय संदेश देखेंगे।

क्या कोई विकल्प हैं? इस मामले में, ऐसा लगता है जैसे हास्केल a0 टाइप वैरिएबल डालने वाला है जिसे मैंने कभी नहीं पूछा था। क्या इन असाधारण प्रकार चर बनाने के लिए हास्केल को बताने के लिए कोई विस्तार नहीं है - और केवल उन लोगों का उपयोग करें जिन्हें मैंने स्पष्ट रूप से अपने स्वयं के स्पष्ट forall a के साथ जोड़ने के लिए कहा था?

a0 इस उत्तर की शुरुआत में वर्णित अस्पष्टता जांच से आ रहा है। जीएचसी सिर्फ यह सुनिश्चित करने के लिए a0 नाम का उपयोग करता है कि यह a से अलग है। अस्पष्टता की जांच मूल रूप से सिर्फ typecheck को

((undefined :: forall a. RealFloat a => Bool) :: forall a0. RealFloat a0 => Bool) 

AllowAmbiguousTypes इस चेक को हटा कोशिश करता है। मुझे नहीं लगता कि एक ऐसा एक्सटेंशन है जो स्पष्ट forall एस के साथ केवल प्रकार हस्ताक्षरों पर अस्पष्टता जांच अक्षम करता है (हालांकि यह साफ और उपयोगी हो सकता है!)।

क्या आप कहेंगे कि AllowAmbiguousTypes एक गलत नाम है? क्या इसे बेहतर AllowUnusedTypeVariables के रूप में नामित किया गया होगा?

नामकरण चीजें कठिन हैं। :)

वर्तमान नाम एक्सटेंशन के बिना आपको प्राप्त त्रुटियों के प्रकार का संदर्भ देता है, इसलिए यह एक बुरा नाम नहीं है। मुझे लगता है कि यह राय का विषय है।

---

पहले TypeApplications (जो GHC 8.0 से एक अपेक्षाकृत नया विस्तार है) से (लोगों को भी इच्छा MonadFlatMapAble की तरह कुछ बुलाया गया था। बहुत सारे), वहाँ वास्तव में भाव कि चालू होने का उपयोग करने का कोई रास्ता नहीं था एक अस्पष्ट प्रकार परिवर्तनीय त्रुटि प्राप्त किए बिना अस्पष्टता जांच, इसलिए AllowAmbiguousTypes बहुत कम उपयोगी था।