hlist

8गर्मी

1उत्तर

साथ निराकार टैग का उपयोग करना मान लीजिए मैं के रूप में वर्णित here मामले वर्ग सामान्य प्रतिनिधित्व पार करने के लिए करना चाहते हैं मैं क्षेत्रों का वर्णन करने के कुछ typeclass परिभाषित किया है: : trait

5गर्मी

2उत्तर

विषम सूचियों

बेशक , विषम सूचियों का एक कार्तीय उत्पाद का निर्माण करने में कार्तीय उत्पाद जैसे हास्केल में जिस तरह का एक संख्या में किया जा सकता है,: [(x,y) | x <- [1,2,3], y <- [4,5,6]] या (,) <$> [1,2,3] <*> [4

6गर्मी

1उत्तर

बेकार: पॉलिमॉर्फिक कार्यों की प्रकार की बाधाओं की जांच

मैं आर्थिक मॉडल के लिए एक छोटी पुस्तकालय पर काम कर रहा हूं जो प्रकारों का उपयोग करके इकाइयों की इकाइयों की जांच करता है, उदा। val apples = 2.0 के बजाय हम val apples = GoodsAmount[KG, Apples](2.0) लिखत

7गर्मी

1उत्तर

एक वस्तु के बजाय ap Nat में बेकार वर्ग क्यों है?

मैं निराकार को समझने के लिए कोशिश कर रहा हूँ, और मैं इस पार आया: // Base trait for type level natural numbers. trait Nat { type N <: Nat } // Encoding of successor. case class Succ[P <: Nat]

5गर्मी

2उत्तर

हास्केल: सभी तत्वों को एक Hlist

पर "showable" दिखाएँ जो मैं map show . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] की कोशिश की है, लेकिन यह लौटे ["()"]

13गर्मी

1उत्तर

एक्सट्रैक्टर कि नकल करता पार्सर संयोजन

प्रश्न यह किसी भी तरह कि निम्नलिखित की तरह दिखता है निराकार 'के लिए HList एक निकालने बनाने के लिए संभव है। val a ~ _ ~ b = 4 :: "so" :: 4.5 :: HNil => a == 4 && b == 4.5 ~ द्वारा :: बदलें, जो समस्य

6गर्मी

1उत्तर

विकल्प के एचएलिस्ट पर मैपिंग क्यों करता है [टी] काम नहीं करता है?

यह संकलन नहीं है और मैं क्यों समझ में नहीं आता: import shapeless._ import poly._ object option extends (Option ~> List) { def apply[T](t: Option[T]) = t.toList } val simple = Some(1) :: Som

5गर्मी

2उत्तर

एक जेनेरिक फ़ंक्शन

के साथ एक विषम डेटा संरचना पर मैपिंग मैं एक एचएलआईटी कार्यान्वयन पर काम कर रहा हूं और मैं इसके लिए map फ़ंक्शन को लागू करने की कोशिश कर रहा हूं। मैंने कई अलग-अलग दृष्टिकोणों की कोशिश की है, लेकिन प्रत

6गर्मी

1उत्तर

से अधिक एक विषम

गुना, समय संकलन, सूची मैं विषम प्रकार की एक सूची है (या कम से कम है कि मैं क्या मन में है है): data Nul data Bits b otherBits where BitsLst :: b -> otherBits -> Bits b otherBits NoMoreBits

6गर्मी

1उत्तर

निराकार:

प्रश्न 1 उनके प्रकार द्वारा HList तत्वों को प्रतिबंधित करने की कोशिश कर रहा - मूल LUBConstraints मेरी पहली मौजूदा LUBConstraints के साथ चारों ओर खेलने की कोशिश सबूत (नीचे दिए गए कोड ब्लॉक देखें) लापता