tương tự Haskell danh sách comprehensions với kết quả khác nhau

Question

Tôi không hiểu tại sao hai comprehensions danh sách tương tự cho kết quả khác nhau:

Prelude> let t2s n= [ 1/(2*i) | i <- [1,3..n]] 
Prelude> t2s 0 
[0.5] 
Prelude> let t2s n= [ (2*i) | i <- [1,3..n]] 
Prelude> t2s 0 
[] 

tôi mong đợi cả hai trở về [] trên lập luận 0. Tôi phải thiếu một cái gì đó ngớ ngẩn ?!

Answer 1

Nó đã làm với thực tế là

enumFromThenTo 1.0 3.0 0.0 

đánh giá để [1.0]. Bạn có thể tìm thấy thông số kỹ thuật của enumFromThenTo cho Floats trong phần 6.3.4 của http://www.haskell.org/onlinereport/haskell2010/haskellch6.html.

Answer 2

Trước hết, tôi đã thay đổi tên của t2s thành t1s đầu tiên của bạn, để tôi có thể có cả hai được tải vào ghci cùng một lúc. Nhìn vào các loại suy ra cho mỗi người trong số họ:

[ts.hs:2:1-33] *Main> :t t1s 
t1s :: (Enum t, Fractional t) => t -> [t] 
[ts.hs:2:1-33] *Main> :t t2s 
t2s :: (Enum t, Num t) => t -> [t] 
[ts.hs:2:1-33] *Main> 

Lưu ý rằng t1s nhận một đối số Fractional trong khi t2s mất một Num. Điều này có nghĩa là trong t1s 0, số 0 được phỏng đoán là Double. Mặt khác, thông dịch viên sẽ nhập 0 vào số Integer trong t2s 0. Vì loại được sử dụng cho đối số khác nhau, hành vi có thể khác nhau theo những cách rất đáng ngạc nhiên. Cụ thể, bạn nên đảm bảo chỉ sử dụng các loại Integral khi liệt kê một danh sách như trong [1,3..n].

Để khắc phục điều này, bạn chỉ cần cung cấp chữ ký loại rõ ràng cho cả hai chức năng.