[Ur] folder

[Ron de Bruijn]

Op 24-11-11 16:55, Gergely Buday schreef:
> Hi,
>
> why is it necessary to include the [folder] type in the type of higher
> order record functions when it is always inferred?
>
> Isn't it enough to see them as something happening behind the scene?
>
> - Gergely
Sometimes you want to select another permutation than the one selected by default.

For example, if you have a record like {A:int,B:int,C:int,D:int,E:int} you might 
want to subtract the integer values in some order. The default will do that, but 
if you want to select some other order, you still need to specify that order 
(=permutation) in some way.

-- 
Best regards,
   Ron de Bruijn