Я читаю свои заметки и не понимаю следующее.
curry
имеет тип (('a * 'b) -> 'c) -> 'a -> 'b -> 'c
определяется следующим образом:
let curry f = fun a b -> f (a,b)
Производное есть
df/dx = (f(x + e) - f(x))/e where e is small
deriv: (float -> float) * float -> (float -> float)
*)
let deriv (f, dx) = fun x -> (f (x +. dx) -. f x) /. dx
тогда почему антидериватив f
let anti_d f = curry (integral f 0.)
не должен быть
let anti_d f = (curry integral) f 0.
?