練習問題 1.4.4

数学の解析学で使う(fのaからbまでの)定積分関数に対して適切な型を与えよ.


integral :: (Float -> Float) -> Float -> Float -> Float
integral f a b = integral' f a b (0.0001)

integral' :: (Float -> Float) -> Float -> Float -> Float -> Float
integral' f a b dx = sum $ map ((*dx) . f) $ takeWhile (<= b) $ iterate (+dx) a