11th October 16:04
I get the sense that curried functions (that is, functions with > 1
argument, not declared in a tuple) can be extremely useful for partial
computations. For example, as in the Paulson book,
fun infixApply x f y = f (x, y);
val reciprocal = infixApply 1.0 op/;
-> val it = 0.5 : real
The infixApply function actually can help define a whole set of
functions. But I'd like to see something more powerful that can be done
with curried functions.
Does anyone have any killer example?