danh sách kết quả của bản đồ là dài hơn

Question

trong ví dụ Haskell này, kết quả đôi khi dài hơn một danh sách cơ sở. Bất kỳ đầu mối cho điều này?

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

Như @duplode gợi ý, nó đã làm với cách cư xử với .. nổi integers điểm vs:

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

Cập nhật để đáp ứng với những nhận xét ...

Một định nghĩa như điều này trong ghci:

let xs = [1,3..11] 

là đa hình. Các .. là một phím tắt cho enumFromThenTo chức năng:

let xs = enumFromThenTo 1 3 11 

Kết quả là đa hình - biểu thức trên có kiểu:

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

Nếu bạn chỉ cần in ra, Haskell chọn để gõ là như [Integer], và bạn nhận được:

[1,3,5,7,9] 

Ở đây, phiên bản số nguyên enumFromThenTo đang được sử dụng.

Tuy nhiên, nếu bạn áp dụng một hoạt động điểm nổi vào danh sách, Haskell diễn giải nó như [Double], và sau đó nó trở thành một yếu tố còn vì những lý do giải thích ở trên:

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

Vì vậy, các map hoạt động "thay đổi" độ dài của danh sách chỉ vì nó thay đổi cách diễn giải của loại của nó mà thay đổi mà chức năng enumFromThenTo được gọi là để xây dựng nó.

Ảnh chụp nhanh: Danh sách được xác định là [1,3..11] không có độ dài đã biết cho đến khi loại được xác định.