इस हास्केल उदाहरण में मानचित्र की परिणाम सूची

Question

है परिणाम परिणाम कभी-कभी आधार सूची से अधिक लंबा होता है। इसके लिए कोई सुराग? जैसे

Prelude> let x3 = [1,3..10] :: [Double] 
Prelude> length x3 
6 
Prelude> let x3 = [1,3..10] :: [Int] 
Prelude> length x3 
5 

टिप्पणी के जवाब में अद्यतन ...

एक परिभाषा:

Prelude> let x3 = [1,3..10] 
Prelude> x3 
[1,3,5,7,9] 
Prelude> length x3 
5 
Prelude> length $ map (+1) x3 
5 
Prelude> length $ map (*3) x3 
5 
Prelude> length $ map (/2) x3 
6 
Prelude> length $ map (/1) x3 
6 
Prelude> length $ map (`div`1) x3 
5 
Prelude> map log x3 
    [0.0,1.0986122886681098,1.6094379124341003 
    ,1.9459101490553132,2.1972245773362196,2.3978952727983707] 
Prelude> length it 
6 

Answer 1

@duplode के रूप में सुझाव दिया है, यह चल बिन्दु बनाम पूर्णांकों के साथ कैसे बर्ताव करता है .. के साथ क्या करना है यह ghci में:

let xs = [1,3..11] 

पॉलिमॉर्फिक है। ..enumFromThenTo समारोह के लिए एक शॉर्टकट है:

let xs = enumFromThenTo 1 3 11 

परिणाम बहुरूपी है - ऊपर अभिव्यक्ति प्रकार का है:

ghci> :t xs 
x3 :: (Enum t, Num t) => [t] 

तुम सिर्फ इसे प्रिंट, तो हास्केल टाइप करने के लिए चुनता है [Integer] के रूप में है, और आपको मिलता है:

[1,3,5,7,9] 

यहां enumFromThenTo का इंटीजर संस्करण उपयोग किया जा रहा है।

हालांकि, अगर आप सूची में एक चल बिन्दु आपरेशन लागू होते हैं, हास्केल यह [Double] के रूप में व्याख्या, और फिर इसे एक तत्व कारणों के लिए लंबे समय तक कि ऊपर बताया गया हो जाता है:

ghci> map (+ 0.0) x3 
[1.0,3.0,5.0,7.0,9.0,11.0] -- length 6 now! 

तो map ऑपरेशन "परिवर्तन" सूची की लंबाई केवल इसलिए कि यह इसके प्रकार की व्याख्या को बदलती है जो कि enumFromThenTo फ़ंक्शन को बनाने के लिए कहा जाता है।

उपशॉट: [1,3..11] जैसे परिभाषित सूची में इसकी लंबाई निर्धारित होने तक ज्ञात लंबाई नहीं है।