factorialでhaskellセグメント化エラーが発生する

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 

これはなぜ起こっているのでしょうか？

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

実行：

fac 10000ので、ファイルからの読み込み、うーんOS X 10.8.2に

を実行している

に動作します。

も興味深いのは

fac :: Int -> Int

戻りfac 100000ため0を使用していることです。私は、（ちょうどJohnLと同じように）エラーが予想されます。

this siteは言及：

• は具体的には、SegmentationFaultは、タイプセーフでない言語がDoesNotUnderstandを綴る方法です。 Haskellのような型保証された静的型言語では、segfaultsは表示されません。

IOモナドとは何か？それが動作しますそれを型シグネチャ

fac :: Integer -> Integer

を与えることによって

Answer 1

クイックテストからは、productが厳密ではなく、サンクのチェーンが原因でエラーが発生しているように見えます。そして、それが動作するはず

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

：GHCiの中で、あなたが代わりとしてそれを定義した場合

product = foldl (*) 1 

：前奏曲で

は、productは以下のように定義されます。私は、あなたが型シグニチャを指定するとき、おそらくいくつかの最適化が蹴られていて、そうでなければ存在しないと思われます...しかし、それを掘り下げませんでした。

Btwの場合、let fac 0 = 1行は必要ありません。

Answer 2

。私はなぜそう思っているのか完全に理解していない。