Mon, 18 Mar 2002 23:42:28 +0100 (MET)
>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.