typechecking

14गर्मी

2उत्तर

वैध फॉरल प्रकार को एक लेट-बाउंड वैरिएबल

पर लिखने में त्रुटि टाइप करें क्या यह प्रकार चेकर में एक बग है? Prelude> let (x :: forall a. a -> a) = id in x 3 <interactive>:0:31: Couldn't match expected type `forall a. a -> a' with

haskell types typechecking 2011-11-18

---

7गर्मी

1उत्तर

हास्केल

में मौजूदा प्रकारों के साथ त्रुटियों को टाइप करें मैं अपने कार्यक्रम में अस्तित्व के प्रकारों के साथ संघर्ष कर रहा हूं। मुझे लगता है मैं फिर भी मैं typechecker :( अतीत नहीं मिल सकता बहुत ही उचित कुछ क

haskell typeerror typechecking existential-type zipper 2011-11-25

---

6गर्मी

4उत्तर

जीएचसी के मामलों में पहचान के मामले क्या होते हैं?

जीएचसी होता है चेक आपको अनंत प्रकार के निर्माण से रोकता है। क्या कोड में सामान्य त्रुटियों को रोकने या टाइपशेकर को अनिश्चित काल तक लूप करने से रोकने का उद्देश्य है, या दोनों? यह कौन सा मामला पहचानता ह

haskell ghc typechecking 2012-09-19

---

10गर्मी

3उत्तर

कंपाइल-टाइम पर जांचें यदि टेम्पलेट तर्क शून्य है

मैं विंडोज़ एपीआई फ़ंक्शंस को लपेटने की कोशिश कर रहा हूं ताकि त्रुटियों की जांच हो सके। जैसा कि मैंने पिछले SO प्रश्न में पाया है, मैं एपीआई फ़ंक्शन को कॉल करने के लिए टेम्पलेट फ़ंक्शन का उपयोग कर सकत

c++ c++11 variadic-templates compile-time typechecking 2012-03-08

---

6गर्मी

1उत्तर

हास्केल: यह टाइप-चेक क्यों करता है?

यह प्रतिबिंब-0.5 से लिया गया एक न्यूनतम उदाहरण है। >:t Zero Zero :: Zero -> Zero यह समझ में आता है: मैं निर्माता है जो एक शून्य लेता है और एक शून्य रिटर्न के प्रकार के लिए पूछ रहा हूँ {-# LANGUAGE

reflection haskell typechecking 2012-01-23

---

8गर्मी

3उत्तर

विरासत - यह अवैध क्यों है?

मैं एक सी ++ प्रश्नोत्तरी के माध्यम से जा रहा हूं। और निम्नलिखित कोड में आया - यह अवैध है, लेकिन मुझे समझ में नहीं आता क्यों। किसी को भी व्याख्या कर सकते हैं क्यों इस लाइन: Box* b1 = s1->duplicate();

c++ inheritance types typechecking 2012-08-15

---

6गर्मी

4उत्तर

एरलांग

में स्थिर टाइपकेकिंग मैं धीरे-धीरे एरलांग से प्यार में पड़ रहा हूं, और केवल एक बड़ी, बड़ी समस्या है। मैं अपने मजबूत स्थैतिक टाइपकेकिंग के साथ स्टैंडअर्ट एमएल और ओकंपल जैसी भाषाओं का बड़ा प्रशंसक हूं।

programming-languages erlang typechecking 2011-12-14

---

5गर्मी

2उत्तर

टेस्ट करता है, तो उपयोगकर्ता-निर्धारित डेटा प्रकार विकल्प

तो मैं तरह के एक डेटा प्रकार प्रकार है: data Token = NUM Int | ID String | EOF और मैं तरह के एक समारोह प्रकार है: doStuff list = let (token, rest) = getToken list in .... तो क्या

haskell types typechecking 2011-10-26

---

7गर्मी

1उत्तर

कैसे संभाल करने के लिए "आतंक: असंभव हुआ" और हास्केल

में जारी मैं निम्नलिखित कोड मॉड्यूल लोड और एक अभिव्यक्ति के प्रकार के प्राप्त करने के लिए GHC एपीआई का उपयोग करता है: typeObjects :: [String] -> [String] -> IO [Type] typeObjects modules objects = do

haskell dynamic-loading typechecking ghc-api 2012-02-11

---

26गर्मी

2उत्तर

हास्केल/जीएचसी अनिश्चित इंस्टेंस - गैर-समाप्ति प्रकार की जांच के लिए उदाहरण?

मैंने कुछ हास्केल कोड लिखे हैं जिन्हें संकलित करने के लिए -XUndecidableInstances की आवश्यकता है। मुझे समझ में आता है कि ऐसा क्यों होता है, कि एक निश्चित शर्त है जिसका उल्लंघन किया जाता है और इसलिए जीए

haskell ghc typechecking decidable 2013-02-02

---