>>490
そうです。あとは
deriv f dx x は ((deriv f) dx) x　
の事だと言う事がわかればつじつまが合うのではないでしょうか。

引数が明示されている・いないというよりも、関数型の値を作るには
基本的にλ抽象(?) (function x -> 中身) しかなくて、

let f x y = 中身　は let f = function x -> (function y -> 中身)

の省略形だと言うことかな。OCaml ではさらに fun ってのもあって、
例えば

fun x y -> 中身 が function x -> (function y -> 中身)

の省略。どういう形で書こうが意味的にはどれも一緒のはず。
（漏れも厨房なので間違ってたらｽﾏｿ）