学習の記録−1

以下の式は等価

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