λ-, , λx.E , x E. , λx. λy. x+y - , x λy. x+y, , y x+y. λ(x,y).E , x y E. , λ(x,y). x+y - , x y x+y.
"two arguments at once" compose: λ(f,g). λx.f(g(x))
" ": λf. λg. λx.f(g(x))
, Java, - . f g ( compose) Function < Integer, Integer >. T. compose Function < T, Function < T, T > >.
P.S. , λx. λy. E, curried, λ(x,y). E - . .: https://en.wikipedia.org/wiki/Currying