Haskellの指数関数のテイラーシーケンス

Question

私は指数関数のテイラーシーケンスを実装しようとしましたが、私は完全には理解できません。誰かがエラーと回避策を説明してください：

​​

ありがとうございます！

Answer 1

さて、私はそれを理解しました。問題は、bottomが実際にすべての可能な階乗のリストではなかったということでした。この問題を解決するために

、私はfoldrの代わりにscanlを使用する必要がありました：

bottom = scanl (*) 1 [1..] 

Answer 2

あなたはそれはあなたがする設計同じものであるかどうかを確認するためにGHCiの中で個別に各機能をテストすることができます。例えば

、bottom

Prelude> bottom = foldr (*) 1 [1..] 
Prelude> :t bottom 
bottom :: (Num b, Enum b) => b 

のあなたの最初の定義は、リストを与えるものではありません。明らかにこれは正しくありませんつのリストを与える

Prelude> bottom = scanl (*) 1 [1..] 
Prelude> :t bottom 
bottom :: (Num b, Enum b) => [b] 

と比べzipWith

Prelude> :t zipWith 
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] 

ための右入力。