lỗi phân đoạn haskell với giai thừa

Question

GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> let fac 0 = 1 
Prelude> let fac n = product [1..n] 
Prelude> fac 100000 
Segmentation fault: 11 

có ai biết tại sao điều này sẽ xảy ra không?

fac 10000 làm việc

chạy trên OS X 10.8.2

hmm, việc nạp từ file:

fac :: Integer -> Integer 
fac 0 = 1 
fac n = product [1..n] 

chạy.

cũng thú vị là sử dụng

fac :: Int -> Int

lợi nhuận 0 cho fac 100000. Tôi đã mong đợi (giống như JohnL) một lỗi.

this site đề cập:

• Cụ thể hơn, SegmentationFault là một cách một ngôn ngữ kiểu không an toàn thích rõ ràng DoesNotUnderstand. Trong một ngôn ngữ gõ tĩnh kiểu như Haskell, bạn không nên thấy các segfaults.

có liên quan gì đến trình đơn IO không?

Answer 1

Từ một thử nghiệm nhanh, có vẻ như là do thực tế là product không nghiêm ngặt và chuỗi khối gây ra lỗi.

Trong khúc dạo đầu, product được định nghĩa là:

product = foldl (*) 1 

Nếu trong ghci, bạn thay vì định nghĩa nó như:

> :m + Data.List 
> let product = foldl' (*) 1 
> let fac n = product [1..n] 

Sau đó, nó sẽ làm việc. Tôi nghi ngờ khi bạn chỉ định chữ ký loại, có thể một số tối ưu hóa là đá trong đó không phải là hiện tại nếu không ... nhưng chưa đào vào nó.

Btw, bạn không cần dòng let fac 0 = 1.

Answer 2

Bằng cách cho nó một loại chữ ký

fac :: Integer -> Integer

nó sẽ làm việc. Tôi không hoàn toàn hiểu tại sao mặc dù.