partial application

Bjorn Lisper
Mon, 18 Mar 2002 23:42:28 +0100 (MET)

Cagdas Ozgenc:
>That's right. I was thinking of the following syntax. I orginally had the
>idea for C++, where you can't do partial application at all.

>f x y z=...

>f # 3 4

>omitting the first parameter, and ....

Array languages with true multidimensional arrays often have a this kind of
syntax to extract subarrays, for instance A(*,J) or A(,J) to extract column
J from the matrix A. Now, if you think about arrays as partial functions from
indices to values, then row J of matrix A is precisely \I -> A(I,J).

This syntax can be very convenient for array computations.

Björn Lisper