Currying in Miranda

Q. How does Miranda support currying?

A. Any function that takes multiple arguments can be curried.

mult x y = x * y

triple = mult 3

Here mult is being curried with 3 producing a new function triple.

Miranda defines a function of n arguments to be equivalent to a function of one argument that returns another function, that function taking n-1 arguments.

Previous slide

Next slide

Back to first slide

View graphic version