Composition and Currying in ML

Combining two functions to create a new function by composition. h(x) = g(f(x))

ML provides the built in operator “o”

Combining a function and one value to create a new function by currying.

h(x) = f(a, x)

ML does it implicitly.

Previous slide

Next slide

Back to first slide

View graphic version