以下の式は等価 let x = y in z (fun x -> z) y let f = fun x -> x+10 let f x = x + 10 let f x y = x + y let f = fun x y -> x+y let f = fun x -> fun y -> x+y