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
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
