為什么此Haskell代碼失敗？

Question

我有以下代碼（與歐拉計划問題34有關）：

fac :: Int -> Int
fac = foldr1 (*) . enumFromTo 1

fe :: Int -> Bool
fe = (==) =<< (sum . map fac . digits 10)

fes :: [Int]
fes = filter fe [3..]

fac可以正常工作， fe可以正常工作，但是fes ：

*** Exception: Prelude.foldr1: empty list

有趣的是，如果我以145開始列表（ fe在此處返回True），則該列表適用於該數字，然后引發Exception。

為什么此代碼失敗？ 似乎是完全正常的filter應用程序，其功能顯然可以正常工作，並且可以單獨使用該函數的常規數字列表。

Answer 1

您的fac以數字0失敗，其列表為空。 你可以試試

fac = foldr (*) 1 . enumFromTo 1

順便說一下， foldl' （來自Data.List ）可能比這里的foldr好，而且還有一個預定義的product函數。