scala macros - Liftable for function literal -

-

क्या एक कार्यात्मक शब्दशः (2.11 के साथ) लिफ्ट योग्य है? यदि मेरे पास 

  मामला वर्ग का सत्यापनकर्ता [टी] (निश्चय: टी = & gt; बूलियन) वैल की परिभाषा = (s: स्ट्रिंग) = & gt; S.startsWith ("हाय")   
 फिर मैं  predicate  भी quasiquote करने में सक्षम होना चाहता हूँ:  
  q "नया सत्यापनकर्ता ($ वर्डिकेट) "  
 मुझे आश्वस्त था कि एक अधोरेखण के साथ एक लिफ्ट योग्य बनाने के लिए लेकिन यह थोड़ा बहुत आशावादी था:  
  अंतर्निहित def भारप्रतिक्रिया [टी: लिफ्ट योग्य] (f: T = & gt; बूलियन) = लिफ्ट योग्य [T = & gt; बूलियन] {एफ = & gt; Q "$ f (_)"}   
 मुझे यह देखने से पता नहीं चला था कि मैं इसे कैसे हल कर सकता हूं।  
 इसे देखने का दूसरा तरीका:  
 कहें कि मैं मैक्रो के साथ समय संकलित करने पर निम्न वर्ग से उदाहरण बनाना चाहता हूं:  
  सार वर्ग कक्षा के साथ Validity {val predicate: String = & gt;   
 और मैं कहीं और एक वैरिएबल वैल्यू के रूप में एक कार्यात्मक शब्दशः प्राप्त करता हूं:  
  val predicate = (s: स्ट्रिंग) = & gt; S.startsWith ("हाय")   
 तब मैं बस उस वेरिएबल को निर्माण में क्वैसिक्ट करना चाहता हूं:  
  q "" "नया क्लासविथ वैधता {val predicate = $ Predicate // अन्य सामान ...} "" "  
 लेकिन यह मुझे यह त्रुटि देता है:  
  त्रुटि: (46, 28) कर सकते हैं स्ट्रिंग = & gt; बूलियन, लिफ्ट योग्य [स्ट्रिंग = & gt; बूलियन]   
 आम तौर पर मैं केवल एक कस्टम प्रकार के लिए ऐसा गहन लिफ्ट योग्य बना सकता हूं। लेकिन मुझे एक कार्यात्मक शब्दशः के लिए ऐसा करने का कोई तरीका नहीं मिला है। क्या ऐसा करने का कोई तरीका है या फिर मुझे इसे दूसरी तरफ देखने की जरूरत है?   
 
 
 समझें, आप एक फ़ंक्शन से एक सार सिंटैक्स पेड़ तक जाने की कोशिश कर रहे हैं जो अपने स्रोत कोड का प्रतिनिधित्व करता है (ताकि इसे मैक्रो विस्तार में दिखाया जा सकता है) यह एक लगातार चीज है जो लोग अनुरोध करते हैं (जैसे कि यह अक्सर डीएसएल में आता है), लेकिन हमारे वर्तमान मैक्रो प्रणाली में इसे प्राप्त करने का कोई सीधा तरीका नहीं है।  
 इस समय आप इसके बारे में क्या कर सकते हैं AST को स्पष्ट रूप से सहेजते समय फ़ंक्शन घोषित करते हैं और फिर लोड करते हैं और इसे अपने मैक्रो में उपयोग करते हैं ऐसा करने का सबसे सुविधाजनक तरीका एक और मैक्रो के माध्यम से होता है: एक मैक्रो एनोटेशन लिखने की कल्पना भी हो सकती है जो समान लाइनों पर काम करेगी।  
 प्रोजेक्ट पैलेडियम में, संकलित संकलित कार्यक्रमों के लिए टाइप -केक्ड पेड़ों को बचाने की एक योजना है। इसका मतलब यह है कि सबसे अधिक सीधी एपीआई होगी, उदा।  वृक्ष (ख़तरेज़)  जो स्वचालित रूप से विवरणाम के स्रोत के साथ सार सिंटेक्स पेड़ वापस करेगा लेकिन यह निश्चित रूप से पत्थर में कुछ सेट नहीं है - हम देखेंगे कि यह कैसा चला जाता है, और मैं इस साल के स्कैलाइड के दौरान प्रगति पर वापस रिपोर्ट करूंगा।

Comments

Post a Comment

Popular posts from this blog

asp.net - Procedure or function "Procedure name" expects a parameter "Param name" which was not supplied occurs rarely -

-
I have a VB Net has a web service function that will send criteria to an SQL server stored function. Everything works perfectly for two months in the deployment machine. but now error The process or function GetEmployeeDetails is expected to have a parameter @progress which was not supplied 'P> posted on the machine Just came once. Everything works fine before and after the error. Web service code: public function GetLocation (ByVal as the oldNumber integer, ByVal integer as NewNumber, ByVal as the location string, Byval progress form In the form of a string, byVal name as string, byVal ID as string, try the string as Command1 = New SqlCommand ("GetEmployeeDetails" Connection1) with Command1. CommonType = CommandType Stored Surechers Parameter.ed ("@ old number", SQLDB type.int). Value = old number. Parameter.ed ("New Numer", SQLDB type.ins). Value = Newamer. Parameter. Add ("@Space", SQLBT Ype.VarChar, 10). Value = loc...
Read more

c# - The item with identity 'Id' already exists in the metadata collection. Parameter name: item -

-
मेरी सभी संस्थाओं का आधार वर्ग है: सार्वजनिक वर्ग इकाई & lt; TKey & gt; : आईएरिटीटी & lt; टीके & gt; {गतिशील आईईआरटीईटी.आईडी {प्राप्त करें} इस आईआईडी; } सेट {this.Id = मान; }} सार्वजनिक TKey Id {get; सेट; }} उदाहरण के लिए स्थिति इकाई: [मेटाडाटा टाइप (टाइपफ (स्टेटसमैटडेटा))] सार्वजनिक आंशिक श्रेणी की स्थिति: इकाई & lt; बाइट & gt; {सार्वजनिक स्ट्रिंग शीर्षक {प्राप्त करें; सेट; }} जब मैं डेटाबेस के विरुद्ध क्वेरी चलाऊँगा तो मुझे निम्न त्रुटि मिलती है: "पहचान 'आईडी वाला आइटम पहले से ही मेटाडेटा संग्रह में मौजूद है। पैरामीटर का नाम: आइटम" क्या यह तय करने का कोई तरीका है या यह किसी वारसा के कारण हुई समस्या है और मैं किसी भी वर्ग से अपनी संस्थाओं का वारिस नहीं कर सकता हूं? यह एक सामान्य त्रुटि है, कुछ जानकारी के लिए खोज करते हुए, मैंने देखा कि: दो तालिकाओं को एक प्राथमिक कुंजी के लिए एक ही नाम हो सकता है लाइटस्विच टेबल्स को देखो, उन सभी को एक प्राथमिक कुंजी है जिन्हें आईडी कहा जाता है। इसलिए, मैं सभी संस्थाओं की समीक्षा करता ह...
Read more

c++ - Redefined variable in the other module -

-
Why do we redefine the variable in other modules, so it is OK to add this module together? I have written two modules main.cpp and module.cpp as the following: // - main.cpp-- // # include & lt; Stdio.h & gt; Int main () {int i = 5; Printf ("I value is% d", i); } and // - module.cpp - // int i = 7; I am now compiling and adding g ++ as the following: g ++ -c main .cpp g ++ - c module. cao g ++ - o bin main.o module.o and it's okay. But I hope the compilation will be successful, while the linker will throw an exception like redefining varaible when I'm running .bin output then the value of i is 5 . UPD: I understand that if we use I as global variable module main.cpp that linker will throw an error. The main variable in the function is a local variable of i function. It is not visible and is present outside the function is. Consider the following example #include & lt; Iostream & gt; Int i = 3; Int main (...
Read more