Haskell phun ra số sai một cách ngẫu nhiên

Question

Tôi chỉ mới bắt đầu học lập trình chức năng, Lựa chọn của tôi là haskell. Đó là ok cho một vài ngày cho đến khi một cái gì đó bizzare xảy ra trong giao diện điều khiển

Lúc đầu, tôi nghĩ rằng các hướng dẫn (http://learnyouahaskell.com/starting-out) là sai

Prelude> [ (a,b,c) | c <- [1..10], b <- [1..c], a <- [1..b], a^2 + b^2 == c^2] 
[(1,1,1)] 

Nó phải là (3,4,5) và (4,6,8). Tôi đã thử 3^2+5^2, nó phun ra số lượng lớn các số này (giống như 60 hàng số, khoảng 3000 chữ số); 4^2+3^2 dường như sản xuất cùng một số.

Đang cố gắng để thêm bất kỳ số kết quả sẽ là 100

Prelude> 100 + 200 
100 
Prelude> 300 + 500 
100 

Tôi đóng cửa sổ và mở lại nó và vấn đề được giải quyết.

Tính toán sai lầm này thường xảy ra trong Haskell không? hoặc có lẽ phiên bản Haskell của tôi bị hỏng khi tải xuống? hoặc Bất kỳ cơ hội này là một lỗi hiếm?

Answer 1

Điều gì đang xảy ra, như @BluePeppers đề xuất, là bạn đã thực hiện tương đương với let a+b = 100 trong ghci, sau đó sử dụng định nghĩa đó thay vì thông thường + trong tất cả các biểu thức của bạn. Bạn có thể vẫn băn khoăn tại sao lại mang lại những con số khổng lồ như vậy, và cho đến khi tôi nhận ra điểm thứ hai: Xác định lại sốcũng xác định lại ưu tiên ưu tiên, mặc định là 9 (cao nhất). Vì vậy, ví dụ của bạn trở nên hiểu là:

[ (a,b,c) | c <- [1..10], b <- [1..c], a <- [1..b], a^2 + b^2 == c^2] 

trở thành

[ (a,b,c) | c <- [1..10], b <- [1..c], a <- [1..b], a^100^2 == c^2] 

và

3^2+5^2 

trở thành

3^100^2