हास्केल तह उदाहरण

Question

निम्न कोड के साथ एक डेटा पेड़ के लिए एक तह उदाहरण बनाने के लिए कोशिश कर रहा है:

data Rose a = a :> [Rose a] 
    deriving (Eq, Show) 

instance Foldable Rose where 
    fold (a:>b) = a <> (map fold b) 

हालांकि इस कोड काम नहीं कर रहा, त्रुटि यह पैदा करता है:

Could not deduce <m ~ [m]> 
from the context <Monoid m> 
    bount by the type signature for fold :: Monoid m => Rose m -> m 
... 
In the return type of a call of 'map' 
... 

क्या कोई जानता है कि इसे क्यों/कैसे काम करना है?

Answer 1

जब आप fold b लिखते हैं, आप सूचियों के लिए Foldable उदाहरण का उपयोग कर रहे हैं। तो fold एक मान पर monoidal मानों की एक सूची folds। इस monoidal मान का प्रकार Rose a होता है (यही आपकी सूची में शामिल है)। लेकिन शायद यह नहीं है कि आप क्या चाहते हैं।

वहाँ foldMap fold बजाय fold उपयोग करने के लिए प्रयास करें। इस तरह आप पहली बार सूची में प्रत्येक व्यक्ति Rose a को फोल्ड करते हैं, और उसके बाद परिणामों को एक साथ जोड़ते हैं।