let mk_minus y = fun x -> x - y;;

함수를 반환하는 함수 mk_minus를 정의하고

let minus3 = mk_minus 3;;

인자에서 3을 뺴는 함수 minus3를 정의한다음에


minus3 25;;
- : int = 22

minus3함수에 인자로 25을 넘기면

25 - 3 = 22이 반환된단말임




그럼 이걸 수식으로 표현하면



f(g(x), y) = g(x) - y
g(x) = f(x, 3)

g(25) = f(25, 3) = 25 - 3 = 22

이렇게 되는거임?????