shapeless पर टैग किए गए जवाब

मैं एक कॉल करने के लिए कोशिश कर रहा हूँ Shapelessके अंदर एक से मैक्रो quasiquoteके साथ Scalaहै और मैं नहीं मिल रहा है मैं प्राप्त करना चाहते हैं क्या। मेरे मैक्रो किसी भी त्रुटि वापस नहीं करता है, लेकिन यह विस्तार नहीं करता है Witness(fieldName)मेंWitness.Lt[String] val implicits = schema.fields.map …

272 scala  scala-macros  shapeless  scala-quasiquotes 

आकारहीन में, नेट प्रकार एक प्रकार के स्तर पर प्राकृतिक संख्याओं को एनकोड करने का एक तरीका दर्शाता है। यह निश्चित आकार सूचियों के लिए उदाहरण के लिए उपयोग किया जाता है। आप प्रकार के स्तर पर भी गणना कर सकते हैं, उदाहरण के लिए Nतत्वों की एक सूची को …

151 scala  numbers  compiler-optimization  shapeless 

मैं वास्तव में यह जानने में दिलचस्पी रखता हूं कि मतभेद कहां हैं, और अधिक आम तौर पर, विहित उपयोग के मामलों की पहचान करने के लिए जहां HLists का उपयोग नहीं किया जा सकता है (या बल्कि, नियमित सूचियों पर कोई लाभ नहीं मिलता है)। (मुझे पता है कि …

144 scala  types  tuples  hlist  shapeless 

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

109 scala  path-dependent-type  dependent-type  shapeless