Haskell function signature and "Could not deduce" compiler error -

-

मैं एक Haskell पुस्तकालय लिख रहा हूँ जो Data.Vector 's का उपयोग करता है मैंने सफलतापूर्वक पुस्तकालय फ़ंक्शन को लिखा है, लेकिन मुझे नहीं पता कि उसमें हस्ताक्षर कैसे जोड़ना है। नीचे समस्या का उदाहरण देते हुए एक सरल उदाहरण है: 

 आयात योग्य डाटा। वेक्टर। जेनरिक के रूप में वी - दो वैक्टर ज़िप करें और टपल टेस्ट के रूप में प्रथम तत्व लौटाएं :: (वी.एक्टक्टर VA, आंशिक ए) = & gt; V a - & gt; V a - & gt; (ए, ए) एक बी = (V.zip a ख) वी। का परीक्षण करें! 0  
 यह कोड निम्नलिखित संकलन त्रुटि का कारण बनता है:  
 संदर्भ से (V.Vector va, fractional a) उत्पन्न नहीं किया जा सकता है (V.Vector v (a, a)) MyLib.hs पर `V.zip 'का उपयोग: 7: 12-20 संभावित सुधार:` परीक्षण' के लिए प्रकार के हस्ताक्षर के संदर्भ में जोड़ें (वी। वीक्टर वी (ए, ए)) या इसके लिए एक उदाहरण घोषणा जोड़ें (वी। वेक्टर वी (ए, ए)) `(वी।!) 'के पहले तर्क में, अर्थात्` (वी। ज़िप एबी)' अभिव्यक्ति में: (वी.ज़िप अब) वी।! 0 `परीक्षण 'की परिभाषा में: एक बी = (वी.जिप ए ख) वी। परीक्षा लें! 0  
 कोड का अनुपालन किया जाता है अगर मैं  test  फ़ंक्शन के हस्ताक्षर के बारे में टिप्पणी करता हूं सही हस्ताक्षर क्या है?  
 मैं जीएचसी 6.12.3, वेक्टर लाइब्रेरी 0.7.0.1 का उपयोग कर रहा हूं।  
 धन्यवाद।   
 < Div class = "post-text" itemprop = "text"> 
 जीबी कहती है:  
  प्रील्यूड डेटा.वेक्टर। जेनरिक & gt; : टी \ एक बी - & gt; (Data.Vector.Generic.zip a b) Data.Vector.Generic।! 0 \ एक बी - & gt; (Data.Vector.Generic.zip a b) Data.Vector.Generic।! 0 :: (वेक्टर वी ए, वेक्टर वी बी, वेक्टर वी (ए, बी)) = & gt; V a - & gt; V b - & gt; (ए, बी)   
 आपके मामले से मिलान करना, हस्ताक्षर होना चाहिए  
  test :: (वी। वेक्टर वीए, भिन्नात्मक ए, वी। वेक्टर वी (ए, ए)) = & gt; V a - & gt; V a - & gt; (ए, ए)   
 (ओह और आपको फ्लेक्सिबल कॉन्टैक्स की जरूरत है)

Comments

Post a Comment

Popular posts from this blog

qt - switch/case statement in C++ with a QString type -

-
I want to use switch-case in my program but the compiler generates an error. How can I use the switch statement with QString ? The compiler gives me this error: The expression of the switch type 'QString' is invalid My code is as follows : boolStopWord (the word QString) {bool flag = false; Switch (word) {case "the": flag = true; break ; "On" case: flag = true; break ; Case "in": flag = true; break ; Case "your": flag = true; break ; Case "near": flag = true; break ; Case "all": flag = true; break ; Case "this": flag = true; break ; } Return flag; } How do I use the switch statement with a Caststring ? You can not use the switch statement in C ++ language with integral or enum types. You can formally enter the square type of object in the switch statement, but this means that the compiler will look for a user-defined conversion to convert it to an integral or enum type.
Read more

python - sqlite3.OperationalError: near "REFERENCES": syntax error - foreign key creating -

-
I'm trying to create a predefined key after checking the manual and I wrote it: Db.execute ("create table" Table 2 (id, integer primary key, somedata integer) "db.execute" (table creation table 2 does not exist (name text, maintain reference (id) ") and found this: sqlite 3. Operation error: near" references ": syntax error Your second ligne is wrong db.execute ("create table if table does not exist 2 (name text, my_id integer, foreign key (my_id) reference Maintenance (ID)) ") as explained
Read more

Python's equivalent for Ruby's define_method? -

-
What is a Python equivalent for Ruby's define_method , which is the dynamic generation of class methods will allow? (As can be seen in Wikipedia) Functions are first-class objects in Python and assign them The properties of a class or an example can be a way of doing the same thing as a Wikipedia example: colors = {"black": "000", "red": "F00", "green": "0f0", "yellow": "ff0", "blue": "00f", "magenta": "fff", "cyan": "0ff", "white": " FFF "} Class MyStream (ARR): Pass for Name, Code in colors.iteritems (): def _in_colour ( W code = code): return '& lt; Span style = "color:% s" & gt;% s & lt; / Span & gt; ' % (Code, self) setter (histrive, "in_" + name, _in_ color)
Read more